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.
count nodes uniformly: avoid overloaded session;
authorwenzelm
Mon, 07 Oct 2019 10:51:20 +0200
changeset 70795 a90e40118874
parent 70794 da647a0c8313
child 70796 2739631ac368
count nodes uniformly: avoid overloaded session;
src/Pure/PIDE/headless.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/headless.scala	Mon Oct 07 10:44:59 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Oct 07 10:51:20 2019 +0200
@@ -78,8 +78,7 @@
           ((requirements, share_common_data), Load_Bulk(pending, Nil, checkpoints))
         }
         else {
-          def count(node: Document.Node.Name): Int = if (finished(node)) 0 else 1
-          val reachable = dep_graph.reachable_limit(limit, count _, dep_graph.imm_preds, pending)
+          val reachable = dep_graph.reachable_limit(limit, _ => 1, dep_graph.imm_preds, pending)
           val (pending1, pending2) = pending.partition(reachable)
           val requirements = dep_graph.all_preds(pending1).reverse
           ((requirements, share_common_data), Load_Bulk(pending1, pending2, checkpoints))
isabelle