#1722: Code using type synonym families requires workarounds to compile
------------------------------------------+---------------------------------
Reporter: [EMAIL PROTECTED] | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.8
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
------------------------------------------+---------------------------------
Changes (by chak):
* milestone: => 6.10 branch
Comment:
Currently, the example programs fail in code that is related to the GADT
refinement story, which we are planning to remove anyway soon. I will re-
evaluate the situation once GADT refinement in GHC is implemented by
equality constraints.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1722#comment:3>
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
