[m-dev.] diff: s/multidet/multi/g

[Fergus Henderson]

Estimated hours taken: 0.25

doc/reference_manual.texi:
	Fix an inconsistency in the manual, which was using
	`multidet' and `multi' inconsistently: s/multidet/multi/g

library/string.m:
	Use `multi' rather than `multidet', to match the
	language reference manual.

Workspace: /d-drive/home/hg/fjh/mercury
Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.176
diff -u -d -r1.176 reference_manual.texi
--- doc/reference_manual.texi	2000/03/20 05:27:02	1.176
+++ doc/reference_manual.texi	2000/03/20 08:53:07
@@ -1838,7 +1838,7 @@
 
 Note that a value is not considered @samp{unique} if it might be
 needed on backtracking.  This means that unique modes are generally
-only useful for code whose determinism is @samp{det} or @samp{cc_multidet}
+only useful for code whose determinism is @samp{det} or @samp{cc_multi}
 (@pxref{Determinism}).
 
 @node Backtrackable destructive update
@@ -1983,7 +1983,7 @@
 :- mode length(in) = in is semidet.
 @end example
 
-An annotation of @samp{det} or @samp{multidet} is an assertion that
+An annotation of @samp{det} or @samp{multi} is an assertion that
 for every value each of the inputs, there exists at least one value
 of the outputs for which the predicate is true, or (in the case
 of functions) for which the function term is equal to the result term.
Index: library/string.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/string.m,v
retrieving revision 1.119
diff -u -d -r1.119 string.m
--- library/string.m	1999/11/15 10:12:19	1.119
+++ library/string.m	2000/03/20 08:52:27
@@ -25,7 +25,7 @@
 :- mode string__append(in, in, in) is semidet.	% implied
 :- mode string__append(in, out, in) is semidet.
 :- mode string__append(in, in, out) is det.
-:- mode string__append(out, out, in) is multidet.
+:- mode string__append(out, out, in) is multi.
 %	Append two strings together.
 %
 %       The following mode is semidet in the sense that it doesn't
@@ -42,7 +42,7 @@
 
 :- pred string__prefix(string, string).
 :- mode string__prefix(in, in) is semidet.
-:- mode string__prefix(in, out) is multidet.
+:- mode string__prefix(in, out) is multi.
 	% string__prefix(String, Prefix) is true iff Prefix is a
 	% prefix of String.  Same as string__append(Prefix, _, String).
 
@@ -263,7 +263,7 @@
 
 :- pred string__append_list(list(string), string).
 :- mode string__append_list(in, out) is det.
-:- mode string__append_list(out, in) is multidet.
+:- mode string__append_list(out, in) is multi.
 %	Append a list of strings together.
 
 :- pred string__hash(string, int).
@@ -1701,7 +1701,7 @@
 :- mode string__append(in, in, in) is semidet.	% implied
 :- mode string__append(in, out, in) is semidet.
 :- mode string__append(in, in, out) is det.
-:- mode string__append(out, out, in) is multidet.
+:- mode string__append(out, out, in) is multi.
 */
 
 /*

-- 
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
--------------------------------------------------------------------------