equal
deleted
inserted
replaced
262 (fn () => Toplevel.print_state false st) ())); |
262 (fn () => Toplevel.print_state false st) ())); |
263 |
263 |
264 fun run int tr st = |
264 fun run int tr st = |
265 (case Toplevel.transition int tr st of |
265 (case Toplevel.transition int tr st of |
266 SOME (st', NONE) => ([], SOME st') |
266 SOME (st', NONE) => ([], SOME st') |
267 | SOME (_, SOME exn_info) => |
267 | SOME (_, SOME (exn, _)) => |
268 (case ML_Compiler.exn_messages (Runtime.EXCURSION_FAIL exn_info) of |
268 (case ML_Compiler.exn_messages exn of |
269 [] => Exn.interrupt () |
269 [] => Exn.interrupt () |
270 | errs => (errs, NONE)) |
270 | errs => (errs, NONE)) |
271 | NONE => ([(serial (), ML_Compiler.exn_message Runtime.TERMINATE)], NONE)); |
271 | NONE => ([(serial (), ML_Compiler.exn_message Runtime.TERMINATE)], NONE)); |
272 |
272 |
273 in |
273 in |