27 Jul
2004
27 Jul
'04
10:49 a.m.
"Simon Marlow"
Incedentally, universal quantification in constructor fields is one of the easier extensions to implement. Much easier than multi-parameter type classes, for example. You don't have to go the whole hog and implement rank-N polymorphism ala GHC in order to get most of the benefit.
Contributions of code to nhc98's type checker will be gratefully accepted... :-) Regards, Malcolm