diff: typeclass user documentation

David Matthew OVERTON dmo at students.cs.mu.OZ.AU
Fri Jan 23 16:40:16 AEDT 1998


Hi DJ,

I've got a couple of minor suggestions about your documentation:

> +:- pred distance(P1, P2, float) <= point(P1), point(P2).
> +:- pred distance(in, in, out) is det.

s/pred/mode/ in the 2nd line.

Also, what is the syntax when combining the type and mode declarations
into one declaration (if this is allowed)?

David
--
      David Overton              |  dmo at cs.mu.oz.au
http://www.cs.mu.oz.au/~dmo/     |  david at bjs.com.au



More information about the developers mailing list