[m-dev.] trivial diff: clarify equiv types doc

David Glen JEFFERY dgj at cs.mu.OZ.AU
Thu Jul 15 15:29:44 AEST 1999

Estimated hours taken: 0.1

	Refer back to the example when explaining what we mean when we say
	that an equivalence type definition must not be cyclic. (The
	existing documentation confused a new user that I was helping0.

cvs diff: Diffing .
Index: reference_manual.texi
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.146
diff -u -t -r1.146 reference_manual.texi
--- reference_manual.texi	1999/07/14 14:57:07	1.146
+++ reference_manual.texi	1999/07/15 05:29:19
@@ -1026,6 +1026,7 @@
 Unlike discriminated union type definitions,
 equivalence type definitions must not be cyclic;
 that is, the type on the left hand side of the @samp{==}
+(@samp{assoc_list} and @samp{money} in the examples above)
 must not occur on the right hand side of the @samp{==}.
 Mercury treats an equivalence type

David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
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