[MLton-commit] r5440
Matthew Fluet
fluet at mlton.org
Thu Mar 15 15:02:44 PST 2007
Continuation sizes are too volatile
----------------------------------------------------------------------
U mlton/trunk/regression/size2.ok
U mlton/trunk/regression/size2.sml
----------------------------------------------------------------------
Modified: mlton/trunk/regression/size2.ok
===================================================================
--- mlton/trunk/regression/size2.ok 2007-03-15 22:57:00 UTC (rev 5439)
+++ mlton/trunk/regression/size2.ok 2007-03-15 23:02:43 UTC (rev 5440)
@@ -22,6 +22,3 @@
The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1012 bytes.
The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1052 bytes.
The size of a useless function is = 0 bytes.
-The size of a continuation option ref is = 8036 bytes.
-13
-The size of a continuation option ref is = 8 bytes.
Modified: mlton/trunk/regression/size2.sml
===================================================================
--- mlton/trunk/regression/size2.sml 2007-03-15 22:57:00 UTC (rev 5439)
+++ mlton/trunk/regression/size2.sml 2007-03-15 23:02:43 UTC (rev 5440)
@@ -71,21 +71,3 @@
val _ = if 10 = foldl (op +) 0 l
then ()
else raise Fail "bug"
-
-local
- open MLton.Cont
-in
- val rc: int option t option ref = ref NONE
- val _ =
- case callcc (fn k: int option t => (rc := SOME k; throw (k, NONE))) of
- NONE => ()
- | SOME i => print (concat [Int.toString i, "\n"])
-end
-
-val _ =
- printSize ("a continuation option ref", rc)
-
-val _ =
- case !rc of
- NONE => ()
- | SOME k => (rc := NONE; MLton.Cont.throw (k, SOME 13))
More information about the MLton-commit
mailing list