Clear deleted files from hiedb

Author: wz1000

ghcide/session-loader/Development/IDE/Session.hs

@@ -135,6 +135,8 @@ runWithDb fp k = do
     `catch` \IncompatibleSchemaVersion{} -> removeFile fp
   withHieDb fp $ \writedb -> do
     initConn writedb
+    -- Clear the index of any files that might have been deleted since the last run
+    deleteMissingRealFiles writedb
     _ <- garbageCollectTypeNames writedb
     chan <- newTQueueIO
     withAsync (writerThread writedb chan) $ \_ -> do

ghcide/src/Development/IDE/Core/FileStore.hs

@@ -232,4 +232,6 @@ setSomethingModified state = do
     VFSHandle{..} <- getIdeGlobalState state
     when (isJust setVirtualFileContents) $
         fail "setSomethingModified can't be called on this type of VFSHandle"
+    -- Update database to remove any files that might have been renamed/deleted
+    writeTQueue (indexQueue $ hiedbWriter $ shakeExtras state) deleteMissingRealFiles
     void $ shakeRestart state []