[MLton-commit] r6199

Matthew Fluet fluet at mlton.org
Thu Nov 22 06:55:50 PST 2007


Tweaks to MLton Lib INTEGER signature to be close enough to Basis Library INTEGER signature for (new) mllex
----------------------------------------------------------------------

U   mlton/trunk/lib/mlton/basic/int-inf.sig
U   mlton/trunk/lib/mlton/basic/int.sml
U   mlton/trunk/lib/mlton/basic/integer.sig

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

Modified: mlton/trunk/lib/mlton/basic/int-inf.sig
===================================================================
--- mlton/trunk/lib/mlton/basic/int-inf.sig	2007-11-22 14:52:07 UTC (rev 6198)
+++ mlton/trunk/lib/mlton/basic/int-inf.sig	2007-11-22 14:55:49 UTC (rev 6199)
@@ -14,7 +14,7 @@
 
       val andb: t * t -> t
       val hash: t -> word
-      val log2: t -> int
+      val log2: t -> Int.t
       val maxPow2ThatDivides: t -> word
       val notb: t -> t
       val orb: t * t -> t

Modified: mlton/trunk/lib/mlton/basic/int.sml
===================================================================
--- mlton/trunk/lib/mlton/basic/int.sml	2007-11-22 14:52:07 UTC (rev 6198)
+++ mlton/trunk/lib/mlton/basic/int.sml	2007-11-22 14:55:49 UTC (rev 6199)
@@ -9,8 +9,6 @@
    sig
       include INTEGER
 
-      type int
-
       val maxInt: t
       val minInt: t
       val roundDownToPowerOfTwo: t -> t

Modified: mlton/trunk/lib/mlton/basic/integer.sig
===================================================================
--- mlton/trunk/lib/mlton/basic/integer.sig	2007-11-22 14:52:07 UTC (rev 6198)
+++ mlton/trunk/lib/mlton/basic/integer.sig	2007-11-22 14:55:49 UTC (rev 6199)
@@ -48,6 +48,7 @@
 signature INTEGER =
    sig
       include EUCLIDEAN_RING
+      type int = t
 
       val < : t * t -> bool
       val <= : t * t -> bool




More information about the MLton-commit mailing list