multi-parametric type class

Mark P Jones mpj@cse.ogi.edu
Fri, 20 Apr 2001 00:26:28 -0700


Hi Javier,

| Hugs 98 User Manual of September 1999, says that the facility of =
Multiple
| parameter type classes already is available in Hugs 98.
|=20
| Then, how can I use this? =20

Use the -98 command line option when you start Hugs.  If you need
more detail, this is described at the beginning of Chapter 7 in the
user manual that you mention.

Hope that helps,
Mark