--- a/src/Pure/Concurrent/par_list.scala Fri Nov 06 14:43:05 2015 +0100
+++ b/src/Pure/Concurrent/par_list.scala Fri Nov 06 18:15:35 2015 +0100
@@ -13,7 +13,7 @@
def managed_results[A, B](f: A => B, xs: List[A]): List[Exn.Result[B]] =
if (xs.isEmpty || xs.tail.isEmpty) xs.map(x => Exn.capture { f(x) })
else {
- val state = Synchronized((List.empty[Future[B]], false))
+ val state = Synchronized[(List[Future[B]], Boolean)]((Nil, false))
def cancel_other(self: Int = -1): Unit =
state.change { case (futures, canceled) =>