[m-rev.] diff: remove reverse modes of float arithmetic functions

[Simon Taylor]

Estimated hours taken: 0.2
Branches: release

NEWS:
library/float.m:
	Remove the reverse modes of the arithmetic functions -- because
	of rounding errors the functions aren't actually reversible.
	They were removed on the main branch a few weeks ago.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.201.2.5
diff -u -u -r1.201.2.5 NEWS
--- NEWS	2001/05/31 17:36:39	1.201.2.5
+++ NEWS	2001/09/22 11:40:29
@@ -2,6 +2,10 @@
 ---------------------------------
 
 Changes to the Mercury standard library:
+* We've removed the buggy reverse modes of the arithmetic functions in
+  float.m (because of rounding errors the functions aren't actually
+  reversible).
+
 * We've fixed a bug in time.m. Type `tm' didn't store the day of the month,
   which meant that the functions which required that field (e.g. time__asctime,
   time__mktime) did not work.
Index: library/float.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/float.m,v
retrieving revision 1.33.4.1
diff -u -u -r1.33.4.1 float.m
--- library/float.m	2001/03/15 12:44:25	1.33.4.1
+++ library/float.m	2001/09/22 11:39:14
@@ -49,26 +49,18 @@
 	% addition
 :- func float + float = float.
 :- mode in    + in    = uo  is det.
-:- mode uo    + in    = in  is det.
-:- mode in    + uo    = in  is det.
 
 	% subtraction
 :- func float - float = float.
 :- mode in    - in    = uo  is det.
-:- mode uo    - in    = in  is det.
-:- mode in    - uo    = in  is det.
 
 	% multiplication
 :- func float * float = float.
 :- mode in    * in    = uo  is det.
-:- mode uo    * in    = in  is det.
-:- mode in    * uo    = in  is det.
 
 	% division
 :- func float / float = float.
 :- mode in    / in    = uo  is det.
-:- mode uo    / in    = in  is det.
-:- mode in    / uo    = in  is det.
 
 	% unary plus
 :- func + float = float.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------