diff: doc/reference_manual.texi s/unique/mostly_unique/
Fergus Henderson
fjh at cs.mu.oz.au
Wed Jan 7 23:19:02 AEDT 1998
Estimated hours taken: 0.25
doc/reference_manual.texi:
Fix a cut-and-paste error: a few occurrences of `unique'
should have been `mostly_unique'.
Index: reference_manual.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.79
diff -u -u -r1.79 reference_manual.texi
--- reference_manual.texi 1997/10/15 16:31:47 1.79
+++ reference_manual.texi 1998/01/07 12:12:24
@@ -1408,13 +1408,13 @@
@example
% mostly unique output
-:- mode muo :: free -> unique.
+:- mode muo :: free -> mostly_unique.
% mostly unique input
-:- mode mui :: unique -> unique.
+:- mode mui :: mostly_unique -> mostly_unique.
% mostly destructive input
-:- mode mdi :: unique -> dead.
+:- mode mdi :: mostly_unique -> mostly_dead.
@end example
@node Limitations of the current implementation
--
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.
More information about the developers
mailing list