[m-rev.] diff: fix bug #210

[Julien Fischer]

Branches: main, 11.07

Fix some errors in the reference manual reported by Andrew Ross.
(Bug #210 in Mantis).

doc/reference_manual.texi:
 	Fix an example that didn't match the description that followed.

 	Fix a typo: s/the/then/

Julien.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.468
diff -u -r1.468 reference_manual.texi
--- doc/reference_manual.texi	16 Jun 2011 07:11:00 -0000	1.468
+++ doc/reference_manual.texi	18 Aug 2011 15:17:24 -0000
@@ -2564,12 +2564,12 @@
  For example, the following declaration

  @example
-:- inst maybeskel(Inst) ---> no ; yes(Inst).
+:- inst listskel(Inst) ---> [] ; [Inst | listskel(Inst)].
  @end example

  @noindent
  defines the inst @samp{listskel(Inst)} to be a list skeleton
-whose elements have inst @samp{Inst}; you can the use insts
+whose elements have inst @samp{Inst}; you can then use insts
  such as @samp{listskel(listskel(free))}, which represents
  the instantiation state of a list of lists of free variables.
  The standard library provides the parametric modes


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------