#2037: Inner type declaration causes GHC panic
---------------------------+------------------------------------------------
Reporter: basvandijk | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 6.8.2 | Severity: blocker
Keywords: | Testcase:
Architecture: x86 | Os: Linux
---------------------------+------------------------------------------------
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
[http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-
extensions.html#scoped-type-variables lexically-scoped type variables].
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2037>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
