equal
deleted
inserted
replaced
186 (ML_Lex.read Position.none ("Context.set_thread_data (SOME (let " ^ bind ^ " = ") @ ants @ |
186 (ML_Lex.read Position.none ("Context.set_thread_data (SOME (let " ^ bind ^ " = ") @ ants @ |
187 ML_Lex.read Position.none (" in " ^ body ^ " end (ML_Context.the_generic_context ())));"))); |
187 ML_Lex.read Position.none (" in " ^ body ^ " end (ML_Context.the_generic_context ())));"))); |
188 |
188 |
189 end; |
189 end; |
190 |
190 |
191 fun use s = |
|
192 ML_Context.eval_file (ML_Compiler.verbose true ML_Compiler.flags) (Path.explode s) |
|
193 handle ERROR msg => (writeln msg; error "ML error"); |
|
194 |
|