#1118: Type check loop on impredicativaty + GADT mix
------------------------------------+---------------------------------------
Reporter: japple | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 6.6.1
Component: Compiler | Version: 6.6
Severity: normal | Resolution:
Keywords: impredicativity, GADTs | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Linux |
------------------------------------+---------------------------------------
Changes (by igloo):
* milestone: => 6.6.1
* owner: => simonpj
Comment:
Another one for you, Simon.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1118>
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
