--- a/src/Pure/ML-Systems/alice.ML Mon Oct 01 22:29:58 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML Mon Oct 01 22:52:20 2007 +0200
@@ -27,7 +27,16 @@
(*low-level pointer equality*)
fun pointer_eq (_: 'a, _: 'a) = false;
-(*downgraded IntInf*)
+
+(* integer compatibility -- downgraded IntInf *)
+
+structure Time =
+struct
+ open Time;
+ val fromMilliseconds = Time.fromMilliseconds o IntInf.fromInt;
+ val fromSeconds = Time.fromSeconds o IntInf.fromInt;
+end;
+
structure IntInf =
struct
fun divMod (x, y) = (x div y, x mod y);