kick transitiveDirtyKeys aggressively

soulomoon · Apr 29, 2024 · 4a7e35e · 4a7e35e
1 parent 3439131
commit 4a7e35e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/hls-graph/src/Development/IDE/Graph/Internal/Database.hs b/hls-graph/src/Development/IDE/Graph/Internal/Database.hs
@@ -57,6 +57,8 @@ incDatabase :: Database -> Maybe [Key] -> IO ()
 incDatabase db (Just kk) = do
     atomicallyNamed "incDatabase" $ modifyTVar'  (databaseStep db) $ \(Step i) -> Step $ i + 1
     transitiveDirtyKeys <- transitiveDirtySet db kk
+    -- kick off the computation for the dirty keys
+    _res <- runAIO $ builder db emptyStack (toListKeySet transitiveDirtyKeys)
     for_ (toListKeySet transitiveDirtyKeys) $ \k ->
         -- Updating all the keys atomically is not necessary
         -- since we assume that no build is mutating the db.