remove unnecessary recordDirtyKeys call

Author: pepeiborra

plugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs

@@ -31,7 +31,7 @@ import           Development.IDE.Core.PositionMapping (idDelta)
 import           Development.IDE.Core.RuleTypes
 import           Development.IDE.Core.Rules (usePropertyAction)
 import           Development.IDE.Core.Service (runAction)
-import           Development.IDE.Core.Shake (IdeState (..), uses, define, use, addPersistentRule, getShakeExtras, recordDirtyKeys)
+import           Development.IDE.Core.Shake (IdeState (..), uses, define, use, addPersistentRule)
 import qualified Development.IDE.Core.Shake as IDE
 import           Development.IDE.Core.UseStale
 import           Development.IDE.GHC.Compat hiding (empty)
@@ -64,7 +64,6 @@ import           Wingman.Judgements.Theta
 import           Wingman.Range
 import           Wingman.StaticPlugin (pattern WingmanMetaprogram, pattern MetaprogramSyntax)
 import           Wingman.Types
-import Control.Concurrent.STM.Stats (atomically)
 
 
 tacticDesc :: T.Text -> T.Text
@@ -596,13 +595,6 @@ wingmanRules plId = do
 
   action $ do
     files <- getFilesOfInterestUntracked
-    extras <- getShakeExtras
-    void
-      $ liftIO
-      $ join
-      $ atomically
-      $ recordDirtyKeys extras WriteDiagnostics
-      $ Map.keys files
     void $ uses WriteDiagnostics $ Map.keys files