#3297: Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family
in a
rank-n type)
-------------------------------------+--------------------------------------
Reporter: hesselink | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.11
Severity: normal | Resolution:
Keywords: | Testcase:
Os: Linux | Architecture: x86
-------------------------------------+--------------------------------------
Changes (by chak):
* owner: => chak
Comment:
The use of a synonym family in a rank-n type is something GHC cannot
handle currently. In fact, I am not at all sure how the current approach
to type checking with synonym families can be generalised to combine with
arbitrary rank-n types (i.e., this is a conceptual, not just an
implementation problem). The compiler panic indicates that situation; the
error message should be more user-friendly, though.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3297#comment:1>
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
