#345: GADT - fundep interaction
----------------------------------------+-----------------------------------
Reporter: bring | Owner: simonpj
Type: bug | Status: assigned
Priority: high | Milestone: 6.10
Component: Compiler (Type checker) | Version: 6.4
Severity: normal | Resolution: None
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase: gadt-fd
Architecture: Unknown |
----------------------------------------+-----------------------------------
Comment (by simonpj):
To clarify, my intention is that we'll solve it with type functions, which
will play nice with GADTs. I'm not sure fundeps ever will.
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
