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

[Ian MacLarty]

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.
+%
 % Note that implementations which support IEEE floating point
 % should ensure that in cases where the only valid answer is a "NaN"
 % (the IEEE float representation for "not a number"), the det
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------