src/Pure/Concurrent/future.ML

     val result = ref (NONE: 'a Exn.result option);
     fun job ok =
       let
         val res =
           if ok then
-            Multithreading.with_attributes Multithreading.restricted_interrupts
-              (fn _ => fn () => Exn.capture e ()) ()
+            Exn.capture
+              (Multithreading.with_attributes Multithreading.restricted_interrupts
+                (fn _ => fn () => e ())) ()
           else Exn.Exn Exn.Interrupt;
         val _ = result := SOME res;
       in
         (case res of
           Exn.Exn exn => (Task_Queue.cancel_group group exn; false)