[MLton-commit] r6710

[Matthew Fluet]

Constant fold IntInf constants with MLton_equal.
----------------------------------------------------------------------

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

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

Modified: mlton/trunk/mlton/atoms/prim.fun
===================================================================
--- mlton/trunk/mlton/atoms/prim.fun	2008-08-19 22:09:24 UTC (rev 6709)
+++ mlton/trunk/mlton/atoms/prim.fun	2008-08-19 22:09:31 UTC (rev 6710)
@@ -1310,7 +1310,8 @@
          fn (Word w1, Word w2) => bool (WordX.equals (w1, w2))
           | _ => ApplyResult.Unknown
       val equal =
-         fn (Word w1, Word w2) => bool (WordX.equals (w1, w2))
+         fn (IntInf ii1, IntInf ii2) => bool (IntInf.equals (ii1, ii2))
+          | (Word w1, Word w2) => bool (WordX.equals (w1, w2))
           | (WordVector v1, WordVector v2) => bool (WordXVector.equals (v1, v2))
           | _ => ApplyResult.Unknown
       fun intInfBinary (i1, i2) =