Associated data types + GADTs: known bug?

[Simon Peyton-Jones]

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: glasgow-haskell-bugs-bounces at haskell.org [mailto:glasgow-haskell-bugs-bounces at haskell.org] On Behalf Of Conal Elliott
Sent: 05 December 2009 06:48
To: glasgow-haskell-bugs at haskell.org
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20091205/d9104225/attachment.html