# HG changeset patch
# User wenzelm
# Date 1569836181 -7200
# Node ID 670bb96096a7ed6b64839ea3a7d3a07e7a653cca
# Parent  b196f7d724b329f499781444343fa0542ff0022b
tuned signature;

diff -r b196f7d724b3 -r 670bb96096a7 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Mon Sep 30 11:22:51 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Sep 30 11:36:21 2019 +0200
@@ -56,13 +56,13 @@
             (dep_graph.topological_order, Load_Finished)
           case Load_Init(target :: checkpoints) =>
             (dep_graph.all_preds(List(target)).reverse, Load_Target(target, checkpoints))
-          case Load_Target(target, checkpoints) if finished(target) =>
+          case Load_Target(pending, checkpoints) if finished(pending) =>
             val dep_graph1 =
               if (checkpoints.isEmpty) dep_graph
               else dep_graph.exclude(dep_graph.all_succs(checkpoints).toSet)
-            val descendants = dep_graph1.all_succs(List(target))
-            (descendants, Load_Descendants(descendants, checkpoints))
-          case Load_Descendants(descendants, checkpoints) if descendants.forall(finished) =>
+            val descendants = dep_graph1.all_succs(List(pending))
+            (descendants, Load_Bulk(descendants, checkpoints))
+          case Load_Bulk(pending, checkpoints) if pending.forall(finished) =>
             Load_Init(checkpoints).next(dep_graph, finished)
           case st => (Nil, st)
         }
@@ -71,9 +71,9 @@
   }
   private case class Load_Init(checkpoints: List[Document.Node.Name]) extends Load_State
   private case class Load_Target(
-    target: Document.Node.Name, checkpoints: List[Document.Node.Name]) extends Load_State
-  private case class Load_Descendants(
-    descendants: List[Document.Node.Name], checkpoints: List[Document.Node.Name]) extends Load_State
+    pending: Document.Node.Name, checkpoints: List[Document.Node.Name]) extends Load_State
+  private case class Load_Bulk(
+    pending: List[Document.Node.Name], checkpoints: List[Document.Node.Name]) extends Load_State
   private case object Load_Finished extends Load_State
 
   class Session private[Headless](