#4484: Regression: Combination of GADTs and Type families
---------------------------------+------------------------------------------
Reporter: sjoerd_visscher | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.0.1
Component: Compiler | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
Changes (by simonpj):
* priority: normal => highest
* milestone: => 7.0.1
Comment:
Yes this is wrong. Thank you for a nice small example. (Our existing
examples are all much more complicated.) We have a patch in the pipeline.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4484#comment:1>
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
