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
|
fun run (f: unit -> unit) =
case Posix.Process.fork () of
SOME pid =>
let
open Posix.Process
val (pid', status) = waitpid (W_CHILD pid, [])
in if pid = pid' andalso status = W_EXITED
then ()
else raise Fail "child failed"
end
| NONE => let open OS.Process
in exit ((f (); success) handle _ => failure)
end
fun succeed () =
let open OS.Process
in exit success
end
open MLton.World
val (w, out) = MLton.TextIO.mkstemp "/tmp/world"
val _ = TextIO.closeOut out
val a = Array.array (10000, 17)
val _ =
case save w of
Original => ()
| Clone => (Array.update (a, 0, 13)
; print (concat [Int.toString (Array.sub (a, 0) + Array.sub (a, 1)),
"\n"])
; succeed ())
val _ = run (fn () => load w)
val _ = OS.FileSys.remove w
|
