25 Nov
2010
25 Nov
'10
2:28 a.m.
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
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