src/Pure/Concurrent/par_list.scala

 
 
 package isabelle
 
 
-object Par_List
-{
-  def managed_results[A, B](f: A => B, xs: List[A], sequential: Boolean = false)
-      : List[Exn.Result[B]] =
-  {
+object Par_List {
+  def managed_results[A, B](
+    f: A => B,
+    xs: List[A],
+    sequential: Boolean = false
+  ) : List[Exn.Result[B]] = {
     if (sequential || xs.isEmpty || xs.tail.isEmpty) xs.map(x => Exn.capture { f(x) })
     else {
       val state = Synchronized[(List[Future[B]], Boolean)]((Nil, false))
 
       def cancel_other(self: Int = -1): Unit =

   }
 
   def map[A, B](f: A => B, xs: List[A], sequential: Boolean = false): List[B] =
     Exn.release_first(managed_results(f, xs, sequential = sequential))
 
-  def get_some[A, B](f: A => Option[B], xs: List[A]): Option[B] =
-  {
+  def get_some[A, B](f: A => Option[B], xs: List[A]): Option[B] = {
     class Found(val res: B) extends Exception
     val results =
       managed_results(
         (x: A) => f(x) match { case None => () case Some(y) => throw new Found(y) }, xs)
     results.collectFirst({ case Exn.Exn(found: Found) => found.res }) match {