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

[Julien Fischer]

Branches: main, 10.04

Fix bug #138 - the description of the syntax for lists in the
reference manual was incorrect.

doc/reference_manual.texi:
	Correct the token used  to separate the head and tail of
	a list.  It shouldn't be a close_list token.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.438
diff -u -r1.438 reference_manual.texi
--- reference_manual.texi	14 Jan 2010 02:27:58 -0000	1.438
+++ reference_manual.texi	15 Mar 2010 17:34:18 -0000
@@ -364,7 +364,7 @@

 A list term is an open square bracket (i.e.@: an open_list token)
 followed by a sequence of argument terms separated by commas,
-optionally followed by a vertical bar (i.e.@: a close_list token)
+optionally followed by a vertical bar (i.e.@: a ht_sep token)
 followed by a term, followed by a close square bracket (i.e.@: a
 close_list token).  An empty list term is an open_list token
 followed by a close_list token.  List terms are parsed as follows:

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