[MLton-commit] r6242

[Matthew Fluet]

Fixed bug in algebraic simplification of real primitives.
----------------------------------------------------------------------

U   mlton/trunk/doc/changelog
U   mlton/trunk/mlton/atoms/prim.fun

----------------------------------------------------------------------

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2007-12-07 21:15:36 UTC (rev 6241)
+++ mlton/trunk/doc/changelog	2007-12-07 21:21:52 UTC (rev 6242)
@@ -1,5 +1,9 @@
 Here are the changes from version 20070826 to version YYYYMMDD.
 
+* 2007-12-07
+   - Fixed bug in algebraic simplification of real primitives.
+     Real.<= (x, x) is false when x is NaN.
+
 * 2007-11-29
    - Fixed bug in type inference of flexible records.  This would
      later cause the compiler to raise the TypeError exception.

Modified: mlton/trunk/mlton/atoms/prim.fun
===================================================================
--- mlton/trunk/mlton/atoms/prim.fun	2007-12-07 21:15:36 UTC (rev 6241)
+++ mlton/trunk/mlton/atoms/prim.fun	2007-12-07 21:21:52 UTC (rev 6242)
@@ -1622,7 +1622,6 @@
                               | MLton_eq => t
                               | MLton_equal => t
                               | Real_lt _ => f
-                              | Real_le _ => t
                               | Real_qequal _ => t
                               | Word_andb _ => Var x
                               | Word_equal _ => t