Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed structure TaskQueue to Task_Queue;
authorwenzelm
Tue, 16 Dec 2008 16:25:19 +0100
changeset 29120 8a904ff43f28
parent 29119 99941fd0cb0e
child 29121 ad73b63ae2c5
renamed structure TaskQueue to Task_Queue;
src/Pure/Concurrent/par_list.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/par_list.ML	Tue Dec 16 16:25:18 2008 +0100
+++ b/src/Pure/Concurrent/par_list.ML	Tue Dec 16 16:25:19 2008 +0100
@@ -30,7 +30,7 @@
 fun raw_map f xs =
   if Future.enabled () then
     let
-      val group = TaskQueue.new_group ();
+      val group = Task_Queue.new_group ();
       val futures = map (fn x => Future.fork_group group (fn () => f x)) xs;
       val _ = List.app (ignore o Future.join_result) futures;
     in Future.join_results futures end
isabelle