#345: GADT - fundep interaction
-------------------------------------+--------------------------------------
Reporter: bring | Owner: simonpj
Type: bug | Status: assigned
Priority: low | Milestone: _|_
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Testcase: gadt-fd | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* priority: high => low
* milestone: 6.10 branch => _|_
Comment:
Ultimately, I think we can implement fundeps using type families, and then
the fundep version will work too. Until then, it'll only work in type-
family form.
So, since we now have a good workaround (well, actually, a better way to
write the program rather than a workaround), I'll leave it open, but at
low priority and with milestone bottom.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/345#comment:12>
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
