#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