# HG changeset patch
# User wenzelm
# Date 1365019524 -7200
# Node ID ee3398dfee9a4c1e1160ae7a7666e4148d012ae6
# Parent  2843cc095a579e8eb40fa1d88d5be781562c5b4e
recover implicit thread position for status messages (cf. eca8acb42e4a);

diff -r 2843cc095a57 -r ee3398dfee9a src/Pure/goal.ML
--- a/src/Pure/goal.ML	Wed Apr 03 21:48:43 2013 +0200
+++ b/src/Pure/goal.ML	Wed Apr 03 22:05:24 2013 +0200
@@ -144,7 +144,7 @@
 in
 
 fun fork_params {name, pos, pri} e =
-  uninterruptible (fn _ => fn () =>
+  uninterruptible (fn _ => Position.setmp_thread_data pos (fn () =>
     let
       val id = the_default 0 (Position.parse_id pos);
       val _ = count_forked 1;
@@ -173,7 +173,7 @@
             in Exn.release result end);
       val _ = status (Future.task_of future) [Markup.forked];
       val _ = register_forked id future;
-    in future end) ();
+    in future end)) ();
 
 fun fork pri e =
   fork_params {name = "Goal.fork", pos = Position.thread_data (), pri = pri} e;