proper function invocation with all arguments;
authorwenzelm
Sun Jun 03 22:16:44 2018 +0200 (16 months ago)
changeset 683672549d7d4718a
parent 68366 cd387c55e085
child 68368 b00b40dc41af
proper function invocation with all arguments;
src/Pure/PIDE/document.ML
     1.1 --- a/src/Pure/PIDE/document.ML	Sun Jun 03 22:02:20 2018 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Sun Jun 03 22:16:44 2018 +0200
     1.3 @@ -515,7 +515,7 @@
     1.4              if Symtab.defined required name orelse visible_node node orelse pending_result node then
     1.5                let
     1.6                  fun body () =
     1.7 -                 (Execution.worker_task_active true;
     1.8 +                 (Execution.worker_task_active true name;
     1.9                    if forall finished_import deps then
    1.10                      iterate_entries (fn (_, opt_exec) => fn () =>
    1.11                        (case opt_exec of
    1.12 @@ -525,10 +525,10 @@
    1.13                            else NONE
    1.14                        | NONE => NONE)) node ()
    1.15                    else ();
    1.16 -                  Execution.worker_task_active false)
    1.17 +                  Execution.worker_task_active false name)
    1.18                    handle exn =>
    1.19                     (Output.system_message (Runtime.exn_message exn);
    1.20 -                    Execution.worker_task_active false;
    1.21 +                    Execution.worker_task_active false name;
    1.22                      Exn.reraise exn);
    1.23                  val future =
    1.24                    (singleton o Future.forks)