changeset 33603 | 3713a5208671 |
parent 33538 | edf497b5b5d2 |
child 37209 | 1c8cf0048934 |
--- a/src/Pure/ML/ml_compiler_polyml-5.3.ML Tue Nov 10 23:15:15 2009 +0100 +++ b/src/Pure/ML/ml_compiler_polyml-5.3.ML Tue Nov 10 23:15:20 2009 +0100 @@ -154,7 +154,10 @@ (case phase2 of NONE => err "Static Errors" | SOME code => - apply_result ((code |> Runtime.debugging |> Runtime.toplevel_error exn_message) ()))); + apply_result + ((code + |> Runtime.debugging + |> Runtime.toplevel_error (Output.error_msg o exn_message)) ()))); (* compiler invocation *)