equal
deleted
inserted
replaced
37 } |
37 } |
38 |
38 |
39 val eval_init = |
39 val eval_init = |
40 if (heaps.isEmpty) { |
40 if (heaps.isEmpty) { |
41 List( |
41 List( |
|
42 if (Isabelle_System.getenv("ML_SYSTEM") == "polyml-5.6") "structure FixedInt = IntInf" |
|
43 else "", |
42 if (Platform.is_windows) |
44 if (Platform.is_windows) |
43 "fun exit 0 = OS.Process.exit OS.Process.success" + |
45 "fun exit 0 = OS.Process.exit OS.Process.success" + |
44 " | exit 1 = OS.Process.exit OS.Process.failure" + |
46 " | exit 1 = OS.Process.exit OS.Process.failure" + |
45 " | exit rc = OS.Process.exit (RunCall.unsafeCast (Word8.fromInt rc))" |
47 " | exit rc = OS.Process.exit (RunCall.unsafeCast (Word8.fromInt rc))" |
46 else |
48 else |