src/Pure/ML-Systems/exn.ML

   | get_exn _ = NONE;
 
 fun capture f x = Result (f x) handle e => Exn e;
 
 fun release (Result y) = y
-  | release (Exn e) = raise e;
+  | release (Exn e) = reraise e;
 
 
 (* interrupt and nested exceptions *)
 
 exception Interrupt = Interrupt;

     (case List.concat (map plain_exns results) of
       [] => raise Interrupt
     | exns => raise EXCEPTIONS exns);
 
 fun release_first results = release_all results
-  handle EXCEPTIONS (exn :: _) => raise exn;
+  handle EXCEPTIONS (exn :: _) => reraise exn;
 
 end;