[m-rev.] for review: fix ref. man. description of float literals

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

Fix a documentation bug reported by Peter Moulder (bug #16 in mantis)

doc/reference_manual.texi:
 	Fix the description of floating point literals: they may
 	use lowercase `e' to denote the start of the exponent and
 	the exponent may optionally contain a sign after `E' or 'e'.

 	Unrelated change: fix a typo, s/sequencial/sequential/.

Julien.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.409
diff -u -r1.409 reference_manual.texi
--- reference_manual.texi	28 Sep 2007 04:57:53 -0000	1.409
+++ reference_manual.texi	15 Oct 2007 12:50:22 -0000
@@ -290,7 +290,8 @@
  @item float
  A floating point literal consists of a sequence of decimal digits,
  a decimal point and a sequence of digits (the fraction part), and
-the letter @samp{E} and another sequence of decimal digits (the exponent).
+the letter @samp{E} (or @samp{e}), an optional sign (@samp{+} or @samp{-}),
+and then another sequence of decimal digits (the exponent).
  The fraction part or the exponent (but not both) may be omitted.

  @item open_ct
@@ -6157,7 +6158,7 @@
  (semi)pure goals that are declaratively equivalent to true or false.)
  The default semantics are the strict commutative semantics.
  Enabling @samp{--no-reorder-conj} and @samp{--no-reorder-disj} gives the
-strict sequencial semantics.
+strict sequential semantics.

  Future implementations of Mercury may wish to offer other operational semantics.
  For example, they may wish to provide semantics in which function

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