#345: GADT - fundep interaction
-------------------------------------+--------------------------------------
Reporter: bring | Owner: simonpj
Type: bug | Status: assigned
Priority: high | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Testcase: gadt-fd | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Comment (by chak):
The corresponding problem in the type families world has now been fixed -
eg #1723. I am unsure what the intention with this bug is. Close it, and
tell people to use type families? Wait until FDs are being implemented by
way of type families?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/345#comment:11>
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
