[m-rev.] for review: document that floats are double precision

[Julien Fischer]

On Wed, 8 Sep 2010, Ian MacLarty wrote:

> library/float.m:
>    Document that floats are double precision by default.
>
> Index: library/float.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/float.m,v
> retrieving revision 1.78
> diff -u -r1.78 float.m
> --- library/float.m	7 May 2010 03:12:25 -0000	1.78
> +++ library/float.m	8 Sep 2010 01:32:53 -0000
> @@ -12,6 +12,8 @@
> %
> % Floating point support.
> %
> +% By default floats are double precision.

What is "by default" meant to mean here?  (It's certainly
not the default in the .spf grades.)
I suggest you be more specific, for example:

    Floats are double precision, except in .spf grades where
    they are single precision.

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