equal
deleted
inserted
replaced
145 end; |
145 end; |
146 |
146 |
147 |
147 |
148 (* export type-dependent functions *) |
148 (* export type-dependent functions *) |
149 |
149 |
150 ML_Compiler0.use_text |
150 if Thread_Data.is_virtual then () |
151 (ML_Compiler0.make_context |
151 else |
152 (ML_Name_Space.global_values |
152 ML_Compiler0.use_text |
153 [("prettyRepresentation", "ML_system_pretty"), |
153 (ML_Compiler0.make_context |
154 ("addPrettyPrinter", "ML_system_pp"), |
154 (ML_Name_Space.global_values |
155 ("addOverload", "ML_system_overload")])) |
155 [("prettyRepresentation", "ML_system_pretty"), |
156 {debug = false, file = "", line = 0, verbose = false} |
156 ("addPrettyPrinter", "ML_system_pp"), |
157 "open PolyML RunCall" handle ERROR _ => (); |
157 ("addOverload", "ML_system_overload")])) |
|
158 {debug = false, file = "", line = 0, verbose = false} |
|
159 "open PolyML RunCall"; |