[MLton-commit] r7400

[Matthew Fluet]

A GMP limb need not be the same size as an object pointer.
----------------------------------------------------------------------

U   mlton/trunk/basis-library/integer/int-inf0.sml

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

Modified: mlton/trunk/basis-library/integer/int-inf0.sml
===================================================================
--- mlton/trunk/basis-library/integer/int-inf0.sml	2010-01-19 19:23:13 UTC (rev 7399)
+++ mlton/trunk/basis-library/integer/int-inf0.sml	2010-01-19 19:38:10 UTC (rev 7400)
@@ -431,7 +431,7 @@
                let
                   val ok =
                      SeqIndex.> (Vector.length v, 1) andalso
-                     W.<= (V.subUnsafe (v, 0), 0w1)
+                     MPLimb.<= (V.subUnsafe (v, 0), 0w1)
                in
                   if ok then SOME (Prim.fromVector v) else NONE
                end