--- a/src/Pure/System/isabelle_process.ML Thu Mar 27 13:00:40 2014 +0100
+++ b/src/Pure/System/isabelle_process.ML Thu Mar 27 17:12:40 2014 +0100
@@ -48,9 +48,9 @@
(case Symtab.lookup (Synchronized.value commands) name of
NONE => error ("Undefined Isabelle protocol command " ^ quote name)
| SOME cmd =>
- (Toplevel.debugging NONE cmd args handle exn =>
+ (Runtime.debugging NONE cmd args handle exn =>
error ("Isabelle protocol command failure: " ^ quote name ^ "\n" ^
- ML_Compiler.exn_message exn)));
+ Runtime.exn_message exn)));
end;
@@ -170,7 +170,7 @@
[] => (Output.error_message "Isabelle process: no input"; true)
| name :: args => (task_context (fn () => run_command name args); true))
handle Runtime.TERMINATE => false
- | exn => (ML_Compiler.exn_error_message exn handle crash => recover crash; true);
+ | exn => (Runtime.exn_error_message exn handle crash => recover crash; true);
in
if continue then loop channel
else (Future.shutdown (); Execution.reset (); ())