Inner type declaration causes GHC panic
I get a GHC panic when compiling the attached module.
Sorry for the big module but I wasn't able to isolate this to a single simple function.
If I comment the inner type of 'unify' on line 112 the module compiles just fine. So it probably has to do with lexically-scoped type variables.
Trac metadata
Trac field | Value |
---|---|
Version | 6.8.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |