On 22/06/2011 17:57, Simon Peyton-Jones wrote:
> I have long advertised a plan to allow so-called superclass equalities. I've
> just pushed patches to implement them. So now you can write
>
> class (F a ~ b) => C a b where { ... }
That is fantastic. I have a question a
Yay! This is very exciting :-)
Edward
Excerpts from Simon Peyton-Jones's message of Wed Jun 22 12:57:28 -0400 2011:
> Friends
>
> I have long advertised a plan to allow so-called superclass equalities. I've
> just pushed patches to implement them. So now you can write
&
Friends
I have long advertised a plan to allow so-called superclass equalities. I've
just pushed patches to implement them. So now you can write
class (F a ~ b) => C a b where { ... }
This email is just to encourage you to try them out.
Currently this is just in the
