[m-dev.] trivial diff: new mode syntax in the reference manual

[Mark Anthony BROWN]

Estimated hours taken: 0.1

doc/reference_manual.texi:
	Update remaining occurrences of the old mode syntax.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.198
diff -u -r1.198 reference_manual.texi
--- doc/reference_manual.texi	2000/11/07 11:09:47	1.198
+++ doc/reference_manual.texi	2000/11/17 05:27:54
@@ -1817,8 +1817,8 @@
 The standard library provides the parametric modes
 
 @example
-:- mode in(Inst) :: Inst -> Inst.
-:- mode out(Inst) :: free -> Inst.
+:- mode in(Inst) == Inst >> Inst.
+:- mode out(Inst) == free >> Inst.
 @end example
 
 @noindent
@@ -1826,7 +1826,7 @@
 could have be defined as
 
 @example
-:- mode create_request :: out(request).
+:- mode create_request == out(request).
 @end example
 
 There must not be more than one inst definition with the same name
@@ -1842,10 +1842,10 @@
 For example, given the mode names defined by
 
 @example
-:- mode out_listskel ::
-        free -> listskel.
-:- mode in_listskel ::
-        listskel -> listskel.
+:- mode out_listskel ==
+        free >> listskel.
+:- mode in_listskel ==
+        listskel >> listskel.
 @end example
 
 the (type and) mode declarations of the function length and predicate append
@@ -2030,13 +2030,13 @@
 
 @example
 % unique output
-:- mode uo :: free -> unique.
+:- mode uo == free >> unique.
 
 % unique input
-:- mode ui :: unique -> unique.
+:- mode ui == unique >> unique.
 
 % destructive input
-:- mode di :: unique -> dead.
+:- mode di == unique >> dead.
 @end example
 
 Mode @samp{uo} is used to create a unique value.
@@ -2082,13 +2082,13 @@
 
 @example
 % mostly unique output
-:- mode muo :: free -> mostly_unique.
+:- mode muo == free >> mostly_unique.
 
 % mostly unique input
-:- mode mui :: mostly_unique -> mostly_unique.
+:- mode mui == mostly_unique >> mostly_unique.
 
 % mostly destructive input
-:- mode mdi :: mostly_unique -> mostly_dead.
+:- mode mdi == mostly_unique >> mostly_dead.
 @end example
 
 @node Limitations of the current implementation
@@ -3173,8 +3173,8 @@
 itself.  It is as if they were defined by
 
 @example
-:- mode (pred is @var{Determinism}) :: in(pred is @var{Determinism}).
-:- mode (pred(@var{Inst}) is @var{Determinism}) ::
+:- mode (pred is @var{Determinism}) == in(pred is @var{Determinism}).
+:- mode (pred(@var{Inst}) is @var{Determinism}) ==
     in(pred(@var{Inst}) is @var{Determinism}).
 @dots{}
 @end example
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------