[m-dev.] trivial diff: fix wording in reference manual

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Sep 20 22:44:40 AEDT 2000


Estimated hours taken: 0.25

doc/reference_manual.texi:
	Apply Ralph Becket's suggested fix for some wording problems
	with the restrictions on typeclass instances.

Workspace: /home/pgrad/fjh/ws/hg2
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.188
diff -u -d -r1.188 reference_manual.texi
--- doc/reference_manual.texi	2000/09/19 04:46:37	1.188
+++ doc/reference_manual.texi	2000/09/20 11:42:43
@@ -3551,11 +3551,13 @@
 but @code{T}, @code{list(int)} and @code{bintree(T,T)} are not.
 The types in an instance declaration must not be abstract types which
 are elsewhere defined as equivalence types.
-A program may not contain more than one @code{instance} declaration for a
-particular type (or sequence of types, in the case of a multi-parameter
-type class).  These restrictions ensure that there are no overlapping instance
-declarations, ie. there is at most one instance declaration that may be 
-applied to any type (or sequence of types).
+A program may not contain more than one instance
+declaration for a particular type (or sequence of types, in
+the case of a multi-parameter type class) and typeclass.
+These restrictions ensure that there are no overlapping
+instance declarations, i.e. for each typeclass there is at
+most one instance declaration that may be applied to any
+type (or sequence of types). 
 
 Each @var{methoddefinition} entry in the @samp{where [@dots{}]} part
 of an @code{instance} declaration defines the implementation of one of

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list