Conal It compiles OK in the HEAD, and therefore I expect 6.12. So that's good
In general associated types and GADTs should work just fine together. In practice, I'm amazed they work as well as they do, because the current infrastructure is creaking. I'm working with Tom and Dimitrios on a new type-constraint-solving engine, which should be much more robust and predictable. Simon From: [email protected] [mailto:[email protected]] On Behalf Of Conal Elliott Sent: 05 December 2009 06:48 To: [email protected] Subject: Associated data types + GADTs: known bug? Combining associated data types + GADTs proves fatal to GHCi 6.10.3 and 6.10.4. Is this bug known? If so, is it fixed in a later ghc? There's a stand-alone example at http://hpaste.org/fastcgi/hpaste.fcgi/view?id=13629 - Conal
_______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
