[Haskell-cafe] Equality constraint "synonyms"

[Hugo Pacheco]

Thank you for the info., I didn't know that it had already been proposed.
The constraint families seem definitely useful.

hugo

On Thu, Nov 25, 2010 at 12:53 PM, Sebastian Fischer <fischer at nii.ac.jp>wrote:

> On Thu, 2010-11-25 at 10:41 +0900, Hugo Pacheco wrote:
> > Would this be a desired feature for other people?
>
> I'd like to have Haskell Type Constraints Unleashed
>
> http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
>
> which includes equality constraint synonyms.
>
> Sebastian
>
>
>


-- 
www.di.uminho.pt/~hpacheco
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20101125/9ffff814/attachment.html