equal
deleted
inserted
replaced
6 *) |
6 *) |
7 |
7 |
8 (* Compiler and runtime options *) |
8 (* Compiler and runtime options *) |
9 |
9 |
10 val _ = Compile.filetype := ".ML"; |
10 val _ = Compile.filetype := ".ML"; |
11 val _ = Memory.hilim := 10 * ! Memory.hilim; |
11 val _ = Memory.hilim := let fun MB n = n div 4 * 1024 * 1024 in MB 120 end; |
12 val _ = Memory.stacklim := 10 * ! Memory.stacklim; |
12 val _ = Memory.stacklim := 10 * ! Memory.stacklim; |
13 |
13 |
14 fun pointer_eq (_: 'a, _: 'a) = false; |
14 fun pointer_eq (_: 'a, _: 'a) = false; |
15 |
15 |
16 |
16 |