#1999: panic with GADT etc.
----------------------------+-----------------------------------------------
Reporter: jeltsch | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.9
Resolution: fixed | Keywords:
Testcase: T1999, T1999a | Blockedby:
Difficulty: Unknown | Os: Linux
Blocking: | Architecture: x86
Failure: None/Unknown |
----------------------------+-----------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
Stop press. Jim's program (test `gadt/termination`) is actually just
fine. It was not failing because of the FC changes above, but rather
because of an outright bug, now checked by
`typecheck/should_compile/GivenTypeSynonym`. So I'll close this ticket.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1999#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
