#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: | Difficulty: Unknown
Testcase: | Os: Linux
Architecture: x86 |
----------------------------------------+-----------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
Actually I see no reason ''in principle'' why this shouldn't work, but
clearly we need to think about the details. Meanwhile a better error
message would be a good idea; but even after that's done, let's leave the
ticket open until we decide what the long-term answer is.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3297#comment:2>
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
