src/Pure/Isar/toplevel.ML

 in
 
 fun controlled_execution f =
   f
   |> debugging
-  |> interruptible;
+  |> Future.interruptible_task;
 
 fun program f =
  (f
   |> controlled_execution
   |> toplevel_error) ();