src/Pure/Concurrent/future.ML

   val fulfill: 'a future -> 'a -> unit
   val interruptible_task: ('a -> 'b) -> 'a -> 'b
   val cancel_group: group -> unit
   val cancel: 'a future -> unit
   val shutdown: unit -> unit
-  val report: (unit -> 'a) -> 'a
+  val status: (unit -> 'a) -> 'a
 end;
 
 structure Future: FUTURE =
 struct
 

      while scheduler_active () do
       (wait scheduler_event; broadcast_work ()))
   else ();
 
 
-(* report markup *)
-
-fun report e =
+(* status markup *)
+
+fun status e =
   let
     val _ = Output.status (Markup.markup Markup.forked "");
     val x = e ();  (*sic -- report "joined" only for success*)
     val _ = Output.status (Markup.markup Markup.joined "");
   in x end;