Combinators for ReadP

Malcolm Wallace Malcolm.Wallace at
Tue Jul 27 10:49:14 EDT 2004

"Simon Marlow" <simonmar at> writes:

> 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...  :-)


More information about the Libraries mailing list