src/Pure/Concurrent/bash.ML

                   else Result (256 + LargeWord.toInt (Posix.Signal.toWord s))
               | Posix.Process.W_STOPPED s =>
                   Result (512 + LargeWord.toInt (Posix.Signal.toWord s)));
           in Synchronized.change result (K res) end
           handle exn =>
-            (Synchronized.change result (fn Wait => Signal | res => res); reraise exn)));
+            (Synchronized.change result (fn Wait => Signal | res => res); Exn.reraise exn)));
 
     fun read_pid 0 = NONE
       | read_pid count =
           (case (Int.fromString (File.read pid_path) handle IO.Io _ => NONE) of
             NONE => (OS.Process.sleep (seconds 0.1); read_pid (count - 1))

       val err = the_default "" (try File.read err_path);
       val rc = (case Synchronized.value result of Signal => Exn.interrupt () | Result rc => rc);
       val pid = read_pid 1;
       val _ = cleanup ();
     in {out = out, err = err, rc = rc, terminate = fn () => terminate pid} end
-    handle exn => (terminate (read_pid 10); cleanup (); reraise exn)
+    handle exn => (terminate (read_pid 10); cleanup (); Exn.reraise exn)
   end);
 
 end;