Trace closer to root cause

Author: jhrcek

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

@@ -71,7 +71,7 @@ import           Language.LSP.VFS
 import           System.FilePath
 import           System.IO.Error
 import           System.IO.Unsafe
-
+import           Debug.Trace
 
 data Log
   = LogCouldNotIdentifyReverseDeps !NormalizedFilePath
@@ -250,7 +250,10 @@ setSomethingModified vfs state keys reason = do
     atomically $ do
         writeTQueue (indexQueue $ hiedbWriter $ shakeExtras state) (\withHieDb -> withHieDb deleteMissingRealFiles)
         modifyTVar' (dirtyKeys $ shakeExtras state) $ \x ->
-            foldl' (flip insertKeySet) x keys
+            foldl' (\xs k ->
+              --trace ("TRACE: insertDirkyKey: " <> show k) $
+
+             insertKeySet k xs) x keys
     void $ restartShakeSession (shakeExtras state) vfs reason []
 
 registerFileWatches :: [String] -> LSP.LspT Config IO Bool

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

@@ -181,7 +181,7 @@ import           GHC                                          (mgModSummaries)
 import qualified Data.IntMap                                  as IM
 #endif
 
-import Debug.Trace
+import           Debug.Trace
 
 data Log
   = LogShake Shake.Log

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

@@ -172,6 +172,7 @@ import qualified StmContainers.Map                      as STM
 import           System.FilePath                        hiding (makeRelative)
 import           System.IO.Unsafe                       (unsafePerformIO)
 import           System.Time.Extra
+import           Debug.Trace
 -- See Note [Guidelines For Using CPP In GHCIDE Import Statements]
 
 #if !MIN_VERSION_ghc(9,3,0)
@@ -1234,7 +1235,9 @@ defineEarlyCutoff' doDiagnostics cmp key file mbOld mode action = do
                     (if eq then ChangedRecomputeSame else ChangedRecomputeDiff)
                     (encodeShakeValue bs) $
                     A res
-        liftIO $ atomicallyNamed "define - dirtyKeys" $ modifyTVar' dirtyKeys (deleteKeySet $ toKey key file)
+        liftIO $ atomicallyNamed "define - dirtyKeys" $ modifyTVar' dirtyKeys (
+            trace ("TRACE: delete dirty key " <> show key <> " file " <> show file) $
+              deleteKeySet $ toKey key file)
         return res
   where
     -- Highly unsafe helper to compute the version of a file