Cleanup 9.4 leftovers, fix couple -Wunused-packages and import warnings

Author: jhrcek

.gitignore

@@ -20,10 +20,6 @@ shake.yaml.lock
 .vscode
 /test-logs/*.log
 
-# stack 2.1 stack.yaml lock files
-stack*.yaml.lock
-shake.yaml.lock
-
 # ignore hie.yaml's for testdata
 test/testdata/**/hie.yaml
 

cabal.project

@@ -59,36 +59,31 @@ if impl(ghc >= 9.11)
 
 if impl(ghc >= 9.14)
   allow-newer:
+    aeson:containers,
+    aeson:template-haskell,
+    aeson:time,
+    binary-instances:base,
+    binary-instances:tagged,
+    binary-orphans:base,
+    boring:base,
+    cabal-install-parsers:containers,
+    constraints-extras:template-haskell,
+    dependent-map:containers,
+    ghc-trace-events:base,
+    hie-compat:base,
+    indexed-traversable:base,
     indexed-traversable:containers,
+    indexed-traversable-instances:base,
+    lukko:base,
+    quickcheck-instances:base,
     quickcheck-instances:containers,
-    dependent-map:containers,
-    aeson:containers,
+    semialign:base,
     semialign:containers,
     string-interpolate:template-haskell,
     tasty-hspec:base,
-    tagged:template-haskell,
-    indexed-traversable:base,
-    quickcheck-instances:base,
+    text-iso8601:time,
+    these:base,
     time-compat:base,
     time-compat:time,
-    these:base,
-    some:base,
-    boring:base,
-    indexed-traversable-instances:base,
     uuid-types:template-haskell,
-    hie-compat:base,
-    ghc-trace-events:base,
-    constraints-extras:template-haskell,
-    aeson:time,
-    text-iso8601:time,
-    semialign:base,
-    aeson:template-haskell,
-    lukko:base,
-    binary-instances:base,
-    binary-orphans:base,
-    cabal-install-parsers:containers,
-    haddock-library:base,
     websockets:containers,
-    monad-control:transformers,
-    mmorph:transformers-compat,
-    binary-instances:tagged,

ghcide-test/exe/BootTests.hs

@@ -1,6 +1,6 @@
 module BootTests (tests) where
 
-import           Config                          (checkDefs, mkR, runInDir,
+import           Config                          (checkDefs, mkR,
                                                   runWithExtraFiles)
 import           Control.Applicative.Combinators
 import           Control.Monad

ghcide-test/exe/DiagnosticTests.hs

@@ -9,7 +9,6 @@ import           Control.Monad
 import           Control.Monad.IO.Class          (liftIO)
 import           Data.List.Extra
 import qualified Data.Text                       as T
-import           Development.IDE.GHC.Compat      (GhcVersion (..), ghcVersion)
 import           Development.IDE.GHC.Util
 import           Development.IDE.Test            (diagnostic,
                                                   expectCurrentDiagnostics,
@@ -28,7 +27,6 @@ import           Language.LSP.Protocol.Types     hiding
 import           Language.LSP.Test
 import           System.Directory
 import           System.FilePath
-import           System.IO.Extra                 hiding (withTempDir)
 
 import           Config
 import           Control.Lens                    ((^.))

ghcide-test/exe/IfaceTests.hs

@@ -17,7 +17,6 @@ import           Language.LSP.Protocol.Types   hiding
 import           Language.LSP.Test
 import           System.Directory
 import           System.FilePath
-import           System.IO.Extra               hiding (withTempDir)
 import           Test.Hls.FileSystem
 import           Test.Tasty
 import           Test.Tasty.HUnit

ghcide/ghcide.cabal

@@ -87,7 +87,6 @@ library
     , mtl
     , opentelemetry                >=0.6.1
     , optparse-applicative
-    , os-string
     , parallel
     , process
     , prettyprinter                >=1.7

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

@@ -1172,13 +1172,10 @@ withBootSuffix _          = id
 getModSummaryFromImports
   :: HscEnv
   -> FilePath
-  -> UTCTime
   -> Maybe Util.StringBuffer
   -> ExceptT [FileDiagnostic] IO ModSummaryResult
--- modTime is only used in GHC < 9.4
-getModSummaryFromImports env fp _modTime mContents = do
--- src_hash is only used in GHC >= 9.4
-    (contents, opts, ppEnv, _src_hash) <- preprocessor env fp mContents
+getModSummaryFromImports env fp mContents = do
+    (contents, opts, ppEnv, src_hash) <- preprocessor env fp mContents
 
     let dflags = hsc_dflags ppEnv
 
@@ -1194,8 +1191,7 @@ getModSummaryFromImports env fp _modTime mContents = do
         (src_idecls, ord_idecls) = partition ((== IsBoot) . ideclSource.unLoc) imps
 
         -- GHC.Prim doesn't exist physically, so don't go looking for it.
-        -- ghc_prim_imports is only used in GHC >= 9.4
-        (ordinary_imps, _ghc_prim_imports)
+        (ordinary_imps, ghc_prim_imports)
           = partition ((/= moduleName gHC_PRIM) . unLoc
                       . ideclName . unLoc)
                       ord_idecls
@@ -1233,7 +1229,7 @@ getModSummaryFromImports env fp _modTime mContents = do
         srcImports = rn_imps $ map convImport src_idecls
         textualImports = rn_imps $ map convImport (implicit_imports ++ ordinary_imps)
 #endif
-        ghc_prim_import = not (null _ghc_prim_imports)
+        ghc_prim_import = not (null ghc_prim_imports)
 
 
     -- Force bits that might keep the string buffer and DynFlags alive unnecessarily
@@ -1253,11 +1249,11 @@ getModSummaryFromImports env fp _modTime mContents = do
             ModSummary
                 { ms_mod          = modl
                 , ms_hie_date     = Nothing
-                , ms_dyn_obj_date    = Nothing
+                , ms_dyn_obj_date = Nothing
 #if !MIN_VERSION_ghc(9,13,0)
                 , ms_ghc_prim_import = ghc_prim_import
 #endif
-                , ms_hs_hash      = _src_hash
+                , ms_hs_hash      = src_hash
 
                 , ms_hsc_src      = sourceType
                 -- The contents are used by the GetModSummary rule
@@ -1539,25 +1535,15 @@ loadInterface session ms linkableNeeded RecompilationInfo{..} = do
       Just ver -> pure $ Just ver
       Nothing  -> get_file_version (toNormalizedFilePath' iface_file)
 
-    -- The source is modified if it is newer than the destination (iface file)
-    -- A more precise check for the core file is performed later
-    let _sourceMod = case mb_dest_version of -- sourceMod is only used in GHC < 9.4
-          Nothing -> SourceModified -- destination file doesn't exist, assume modified source
-          Just dest_version
-            | source_version <= dest_version -> SourceUnmodified
-            | otherwise -> SourceModified
-
-    -- old_iface is only used in GHC >= 9.4
-    _old_iface <- case mb_old_iface of
+    old_iface <- case mb_old_iface of
       Just iface -> pure (Just iface)
       Nothing -> do
-        -- ncu and read_dflags are only used in GHC >= 9.4
-        let _ncu = hsc_NC sessionWithMsDynFlags
-            _read_dflags = hsc_dflags sessionWithMsDynFlags
+        let ncu = hsc_NC sessionWithMsDynFlags
+            read_dflags = hsc_dflags sessionWithMsDynFlags
 #if MIN_VERSION_ghc(9,13,0)
-        read_result <- liftIO $ readIface (hsc_hooks sessionWithMsDynFlags) (hsc_logger sessionWithMsDynFlags) _read_dflags _ncu mod iface_file
+        read_result <- liftIO $ readIface (hsc_hooks sessionWithMsDynFlags) (hsc_logger sessionWithMsDynFlags) read_dflags ncu mod iface_file
 #else
-        read_result <- liftIO $ readIface _read_dflags _ncu mod iface_file
+        read_result <- liftIO $ readIface read_dflags ncu mod iface_file
 #endif
         case read_result of
           Util.Failed{}        -> return Nothing
@@ -1568,7 +1554,7 @@ loadInterface session ms linkableNeeded RecompilationInfo{..} = do
     -- If mb_old_iface is nothing then checkOldIface will load it for us
     -- given that the source is unmodified
     (recomp_iface_reqd, mb_checked_iface)
-      <- liftIO $ checkOldIface sessionWithMsDynFlags ms _old_iface >>= \case
+      <- liftIO $ checkOldIface sessionWithMsDynFlags ms old_iface >>= \case
         UpToDateItem x -> pure (UpToDate, Just x)
         OutOfDateItem reason x -> pure (NeedsRecompile reason, x)
 

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

@@ -25,7 +25,6 @@ module Development.IDE.Core.FileStore(
     ) where
 
 import           Control.Concurrent.STM.Stats                 (STM, atomically)
-import           Control.Concurrent.STM.TQueue                (writeTQueue)
 import           Control.Exception
 import           Control.Lens                                 ((^.))
 import           Control.Monad.Extra

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

@@ -25,8 +25,7 @@ import qualified Data.Map                                     as M
 import           Data.Time.Clock.POSIX
 import           Data.Typeable
 import           Development.IDE.GHC.Compat                   hiding
-                                                              (HieFileResult,
-                                                               assert)
+                                                              (HieFileResult)
 import           Development.IDE.GHC.Compat.Util
 import           Development.IDE.GHC.CoreFile
 import           Development.IDE.GHC.Util

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

@@ -924,10 +924,10 @@ getModSummaryRule displayTHWarning recorder = do
         session' <- hscEnv <$> use_ GhcSession f
         modify_dflags <- getModifyDynFlags dynFlagsModifyGlobal
         let session = setNonHomeFCHook $ hscSetFlags (modify_dflags $ hsc_dflags session') session' -- TODO wz1000
-        (modTime, mFileContent) <- getFileModTimeContents f
+        (_modTime, mFileContent) <- getFileModTimeContents f
         let fp = fromNormalizedFilePath f
         modS <- liftIO $ runExceptT $
-                getModSummaryFromImports session fp modTime (textToStringBuffer . Rope.toText <$> mFileContent)
+                getModSummaryFromImports session fp (textToStringBuffer . Rope.toText <$> mFileContent)
         case modS of
             Right res -> do
                 -- Check for Template Haskell