1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
(* Access the current stack in the heap via a MLton.share object trace. *)
val rt : MLton.Thread.Runnable.t option ref = ref NONE
fun stats () =
let
val () = MLton.share rt
in
()
end
fun switcheroo () =
MLton.Thread.switch
(fn t => let
val () = rt := SOME (MLton.Thread.prepare (t, ()))
val () = stats ()
in
valOf (!rt)
end)
(* tuple option array *)
val a = Array.tabulate (100, fn i => SOME (i mod 2, i mod 3))
val () = Array.update (a, 0, NONE)
fun touch () =
let
val size = MLton.size a
val sum =
Array.foldr (fn (NONE,sum) => sum
| (SOME (a, b),sum) => a + b + sum)
0 a
in
(size, sum)
end
val (size1,sum1) = touch ()
val () = switcheroo ()
val (size2,sum2) = touch ()
val _ = print (concat ["size1 >= size2 = ", Bool.toString (size1 >= size2), "\n"])
val _ = print (concat ["sum1 = sum2 = ", Bool.toString (sum1 >= sum2), "\n"])
|
