src/Pure/Isar/toplevel.ML
changeset 39232 69c6d3e87660
parent 38888 8248cda328de
child 39237 be1acdcd55dc
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Sep 09 11:05:52 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Sep 09 17:20:27 2010 +0200
     1.3 @@ -231,7 +231,7 @@
     1.4  
     1.5  fun thread interrupts body =
     1.6    Thread.fork
     1.7 -    (((fn () => body () handle Exn.Interrupt => ())
     1.8 +    (((fn () => body () handle exn => if Exn.is_interrupt exn then () else reraise exn)
     1.9          |> Runtime.debugging
    1.10          |> Runtime.toplevel_error
    1.11            (fn exn => priority ("## INTERNAL ERROR ##\n" ^ ML_Compiler.exn_message exn))),