#1118: Type check loop on impredicativaty + GADT mix
------------------------------------+---------------------------------------
Reporter: japple | Owner: simonpj
Type: bug | Status: closed
Priority: normal | Milestone: 6.6.1
Component: Compiler | Version: 6.6
Severity: normal | Resolution: fixed
Keywords: impredicativity, GADTs | Difficulty: Unknown
Testcase: boxy/Compose | Architecture: x86
Os: Linux |
------------------------------------+---------------------------------------
Changes (by simonpj):
* resolution: => fixed
* testcase: => boxy/Compose
* status: new => closed
Comment:
Jim, this seems to be OK in the HEAD, and also on the 6.6 branch, but it's
certainly broken in 6.6 itself. Ideally I should track down exactly
which patch fixed it, but that's a bit time consuming, so I propose simply
to regard it as "already fixed".
Meanwhile I'll add it to the test suite, so we'll find out if it goes bad
again.
Simon
--
Ticket URL: <http://cvs.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
