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

[Julien Fischer]

Could someone please run an eye over this.

Julien.

On Mon, 15 Oct 2007, Julien Fischer wrote:

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