#345: GADT - fundep interaction
----------------------------------------+-----------------------------------
Reporter: bring | Owner: simonpj
Type: bug | Status: assigned
Priority: high | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase: gadt-fd
Architecture: Unknown |
----------------------------------------+-----------------------------------
Comment (by simonpj):
See also #1573, which gives another example.
I plan to fix this by the upcoming work on indexed type families. Tom
Schrivjers has built a prototype implementation, which mostly works. I
need to review and commit it. Stay tuned.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/345>
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
