From: Matthew F. <fl...@ml...> - 2007-11-22 06:55:50
|
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 |