[m-dev.] problem with value numbering & floating point

[Fergus Henderson]

> Fergus, do you want to take a crack at it?

The information you provided was enough for me to find the bug in seconds.
It was a simple typo in my recent change to builtin_compare_float.
I don't know quite how this one slipped in, since the diff that
I posted to mercury-developers had the correct code.

--- mercury_builtin.m	1997/07/16 17:49:31	1.77
+++ mercury_builtin.m	1997/07/21 12:17:11	1.78
@@ -299,7 +299,7 @@
 builtin_compare_float(R, F1, F2) :-
 	( F1 < F2 ->
 		R = (<)
-	; F1 < F2 ->
+	; F1 > F2 ->
 		R = (>)
 	;
 		R = (=)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.