1.1 --- a/src/Pure/ML/ml_compiler_polyml-5.3.ML Tue Nov 10 23:15:15 2009 +0100
1.2 +++ b/src/Pure/ML/ml_compiler_polyml-5.3.ML Tue Nov 10 23:15:20 2009 +0100
1.3 @@ -154,7 +154,10 @@
1.4 (case phase2 of
1.5 NONE => err "Static Errors"
1.6 | SOME code =>
1.7 - apply_result ((code |> Runtime.debugging |> Runtime.toplevel_error exn_message) ())));
1.8 + apply_result
1.9 + ((code
1.10 + |> Runtime.debugging
1.11 + |> Runtime.toplevel_error (Output.error_msg o exn_message)) ())));
1.12
1.13
1.14 (* compiler invocation *)