[Haskell-cafe] problem with type equality constraints

Ganesh Sittampalam ganesh at earth.li
Tue Mar 18 01:39:58 EDT 2008

On Tue, 18 Mar 2008, Manuel M T Chakravarty wrote:

> Ganesh Sittampalam:
>> On Mon, 17 Mar 2008, Manuel M T Chakravarty wrote:
>>> Your are completely right.  Unfortunately, superclass equalities (ie, the 
>>> Id a ~ ida in the class declaration of Foo) aren't fully implemented yet.
>> OK, thanks. Is there any rough idea of when they will be?
> It's high up on the list, but some other things like the interaction between 
> GADTs and type families (basically done now) were higher up.  If its 
> important to you, I'd try to get to it earlier than if nobody is really 
> waiting for it.

Well, I am waiting for it, but I'm not exactly desperate. There are also 
other things restricting me from a wholesale conversion from fundeps which 
I'll write up into questions on here over the next few days.



More information about the Haskell-Cafe mailing list