Panic: push_bang_into_newtype_arg

Just for fun I tried to compile Agda using -XStrict. Result:

[...]
[235 of 324] Compiling Agda.Syntax.Translation.InternalToAbstract [...]
ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.2 for i386-unknown-linux):
        push_bang_into_newtype_arg {}

To reproduce (using GHC 8.0.2):

git clone https://github.com/agda/agda.git
cd agda
git checkout f8a24fe9ed50e4287bc7308e2b3da4615db87aa8
cabal install --ghc-options=-XStrict --constraint=EdisonCore==1.3.1.1 --constraint=EdisonAPI==1.3.1 --constraint=base==4.9.1.0 --constraint=ghc-prim==0.5.0.0 --constraint=rts==1.0 --constraint=integer-gmp==1.0.0.1 --constraint=mtl==2.2.1 --constraint=transformers==0.5.2.0 --constraint=QuickCheck==2.9.2 --constraint=containers==0.5.7.1 --constraint=array==0.5.1.1 --constraint=deepseq==1.4.2.0 --constraint=random==1.1 --constraint=time==1.6.0.1 --constraint=template-haskell==2.11.1.0 --constraint=ghc-boot-th==8.0.2 --constraint=pretty==1.1.3.3 --constraint=tf-random==0.5 --constraint=primitive==0.6.1.0 --constraint=binary==0.8.3.0 --constraint=bytestring==0.10.8.1 --constraint=boxes==0.1.4 --constraint=split==0.2.3.1 --constraint=data-hash==0.2.0.1 --constraint=directory==1.3.0.0 --constraint=filepath==1.4.1.1 --constraint=unix==2.7.2.1 --constraint=edit-distance==0.2.2.1 --constraint=equivalence==0.3.1 --constraint=STMonadTrans==0.3.4 --constraint=transformers-compat==0.5.1.4 --constraint=geniplate-mirror==0.7.4 --constraint=gitrev==1.2.0 --constraint=process==1.4.3.0 --constraint=hashable==1.2.5.0 --constraint=text==1.2.2.1 --constraint=hashtables==1.2.1.0 --constraint=vector==0.11.0.0 --constraint=haskeline==0.7.3.0 --constraint=terminfo==0.4.0.2 --constraint=ieee754==0.7.9 --constraint=monadplus==1.4.2 --constraint=murmur-hash==0.1.0.9 --constraint=parallel==3.2.1.0 --constraint=regex-tdfa==1.2.2 --constraint=parsec==3.1.11 --constraint=regex-base==0.93.2 --constraint=strict==0.3.2 --constraint=unordered-containers==0.2.7.2 --constraint=xhtml==3000.2.1 --constraint=zlib==0.6.1.2

Trac metadata

Trac field	Value
Version	8.0.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture