equal
deleted
inserted
replaced
4 |
4 |
5 Compatibility file for Poplog/PML (version 15.6/2.1). |
5 Compatibility file for Poplog/PML (version 15.6/2.1). |
6 *) |
6 *) |
7 |
7 |
8 (** Basis structures **) |
8 (** Basis structures **) |
9 |
|
10 fun pointer_eq (_: 'a, _: 'a) = false; |
|
11 |
9 |
12 structure General = |
10 structure General = |
13 struct |
11 struct |
14 exception Subscript = Array.Subscript; |
12 exception Subscript = Array.Subscript; |
15 exception Size; |
13 exception Size; |
231 fun (x: int) + y = x + y; |
229 fun (x: int) + y = x + y; |
232 fun (x: int) - y = x - y; |
230 fun (x: int) - y = x - y; |
233 end; |
231 end; |
234 |
232 |
235 |
233 |
|
234 (* Compiler and runtime options *) |
|
235 |
|
236 val _ = Compile.filetype := ".ML"; |
|
237 val _ = Memory.hilim := 5 * 1024 * 1024; |
|
238 |
|
239 fun pointer_eq (_: 'a, _: 'a) = false; |
|
240 |
|
241 |
236 (* ML toplevel *) |
242 (* ML toplevel *) |
237 |
|
238 |
243 |
239 fun ml_prompts p1 p2 = (); |
244 fun ml_prompts p1 p2 = (); |
240 |
245 |
241 fun make_pp path pprint = (); |
246 fun make_pp path pprint = (); |
242 fun install_pp _ = (); |
247 fun install_pp _ = (); |