src/Pure/ML/ml_compiler_polyml-5.3.ML
changeset 33603 3713a5208671
parent 33538 edf497b5b5d2
child 37209 1c8cf0048934
     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 *)