DIFF:fixes Reference Manual

Renaud BOURNONVILLE rbournon at cs.mu.OZ.AU
Tue Sep 15 19:18:46 AEST 1998


Can you please review this, DJ?


Estimated hours taken: 

/doc/reference_manual.texi:
       Fixed some errors (writing, formating or Mercury errors)



Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.102
diff -u -r1.102 reference_manual.texi
--- 1.102	1998/08/18 09:59:23
+++ reference_manual.texi	1998/09/15 06:58:28
@@ -1199,7 +1199,7 @@
 are as follows:
 
 @example
-:- func length(list(T) = int.
+:- func length(list(T)) = int.
 :- mode length(in_listskel) = out.
 :- mode length(out_listskel) = in.
 
@@ -1789,7 +1789,7 @@
 @end example
 
 @noindent
- at samp{p/0} can have more than one solution
+ at samp{p/2} can have more than one solution
 only if @samp{something_complicated} can succeed.)
 Sometimes, the rules specified by the Mercury language
 for determinism inference will infer a determinism
@@ -2916,7 +2916,7 @@
 
 In the above example, the @code{distance} predicate is able to calculate the
 distance between any two points, regardless of their representation, as long
-as the @code{x_coord} and @code{y_coord} operations have been defined.  These
+as the @code{coords} operation has been defined.  These
 constraints are checked at compile time.
 
 @node Type class constraints on typeclass declarations
@@ -2939,7 +2939,7 @@
         func mult(T::in, T::in) = (T::out) is det,      % '*'/2 (forward mode)
         func negative(T::in) = (T::out) is det,         % '-'/1 (forward mode)
         func inverse(T::in) = (T::out) is semidet       % multiplicative 
-							% inverse
+                                                        % inverse
 ].
 @end example
 
@@ -4455,7 +4455,7 @@
 @unnumberedsec [4]
 K. Sagonas, @cite{The SLG-WAM: A Search-Efficient Engine
 for Well-Founded Evaluation of Normal Logic Programs},
-PhD thesis, SUNY at Stony Brook, 1996.  Available from
+PhD thesis, SUNY at Stony Brook, 1996.  Available from \\
 <http://www.cs.kuleuven.ac.be/~kostis/Thesis/thesis.ps.gz>.
 
 @node [5]




More information about the developers mailing list