Merge pull request #1049 from coq/schedule_fix

fix: add empty dependencies even to an errored sentence
coq · Feb 25, 2025 · cd23d7a · cd23d7a
2 parents b0b7f69 + 5e522d1
commit cd23d7a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/language-server/dm/scheduler.ml b/language-server/dm/scheduler.ml
@@ -226,7 +226,8 @@ let _string_of_state st =
 let schedule_errored_sentence id error schedule =
   let task = Block {id; error} in
   let tasks = SM.add id (None, task) schedule.tasks in
-  {schedule with tasks}
+  let dependencies = SM.add id Stateid.Set.empty schedule.dependencies in
+  {tasks; dependencies}
 
 let schedule_sentence (id, (ast, classif, synterp_st)) st schedule =
   let base, st, task =