src/Pure/RAW/ml_compiler0.ML

       PolyML.Compiler.CPDebug debug];
     val _ =
       (while not (List.null (! in_buffer)) do
         PolyML.compiler (get, parameters) ())
       handle exn =>
-        if Exn.is_interrupt exn then reraise exn
+        if Exn.is_interrupt exn then Exn.reraise exn
         else
          (put ("Exception- " ^ General.exnMessage exn ^ " raised");
-          error (output ()); reraise exn);
+          error (output ()); Exn.reraise exn);
   in if verbose then print (output ()) else () end;
 
 fun use_file context {verbose, debug} file =
   let
     val instream = TextIO.openIn file;