PatBind test suite failure with `-DDEBUG`
I get
Compile failed (status 256) errors were:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 8.1.20160420 for x86_64-unknown-linux):
ASSERT failed!
CallStack (from HasCallStack):
assertPprPanic, called at compiler/types/TyCoRep.hs:2082:56 in ghc:TyCoRep
checkValidSubst, called at compiler/types/TyCoRep.hs:2118:17 in ghc:TyCoRep
substTy, called at compiler/types/TyCoRep.hs:2060:3 in ghc:TyCoRep
in_scope InScope {a_apN t_apW a_apX}
tenv [apC :-> t_apW[tau:3], apN :-> a_apX[tau:3]]
tenvFVs [apD :-> t_apD[tau:3], apW :-> t_apW[tau:3],
apX :-> a_apX[tau:3]]
cenv []
cenvFVs []
tys [a_apN[sk] -> a_apN[sk]]
cos []
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
*** unexpected failure for PatBind(normal)with a -DDEBUG build, e.g. on travis: https://s3.amazonaws.com/archive.travis-ci.org/jobs/124426776/log.txt
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | high |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |