equal
deleted
inserted
replaced
32 (*limit the printing depth -- divided by 2 for comparibility with Poly/ML*) |
32 (*limit the printing depth -- divided by 2 for comparibility with Poly/ML*) |
33 fun print_depth n = |
33 fun print_depth n = |
34 (Compiler.Control.Print.printDepth := n div 2; |
34 (Compiler.Control.Print.printDepth := n div 2; |
35 Compiler.Control.Print.printLength := n); |
35 Compiler.Control.Print.printLength := n); |
36 |
36 |
37 (*Poly/ML-like prompts*) |
|
38 Compiler.Control.primaryPrompt := "> "; |
|
39 Compiler.Control.secondaryPrompt := "# "; |
|
40 |
37 |
41 |
38 |
42 (** Compiler-independent timing functions **) |
39 (** Compiler-independent timing functions **) |
43 |
40 |
44 (*Note start point for timing*) |
41 (*Note start point for timing*) |
55 " GC " ^ toString (gc2-gc) ^ |
52 " GC " ^ toString (gc2-gc) ^ |
56 " All "^ toString (sys2-sys + usr2-usr + gc2-gc) ^ |
53 " All "^ toString (sys2-sys + usr2-usr + gc2-gc) ^ |
57 " secs" |
54 " secs" |
58 handle Time => "" |
55 handle Time => "" |
59 end; |
56 end; |
|
57 |
|
58 |
|
59 (* prompts *) |
|
60 |
|
61 fun ml_prompts p1 p2 = |
|
62 (Compiler.Control.primaryPrompt := p1; Compiler.Control.secondaryPrompt := p2); |
60 |
63 |
61 |
64 |
62 (* toplevel pretty printing (see also Pure/install_pp.ML) *) |
65 (* toplevel pretty printing (see also Pure/install_pp.ML) *) |
63 |
66 |
64 fun make_pp path pprint = |
67 fun make_pp path pprint = |