hlint

Author: geo2a

booster/tools/booster/Server.hs

@@ -29,7 +29,7 @@ import Data.InternedText (globalInternedTextCache)
 import Data.List (intercalate)
 import Data.List.Extra (splitOn)
 import Data.Map qualified as Map
-import Data.Maybe (fromMaybe, isJust, mapMaybe, maybeToList)
+import Data.Maybe (fromMaybe, isJust, mapMaybe)
 import Data.Set qualified as Set
 import Data.Text qualified as Text
 import Data.Text.Encoding qualified as Text (decodeUtf8)

kore/src/Kore/Log/BoosterAdaptor.hs

@@ -96,7 +96,7 @@ renderJson _exeName _startTime _timestampSwitch (WithTimestamp (SomeEntry _conte
         xs -> xs
 
 renderOnelinePretty :: ExeName -> TimeSpec -> TimestampsSwitch -> WithTimestamp -> Text
-renderOnelinePretty exeName startTime timestampSwitch (WithTimestamp entry@(SomeEntry entryContext actualEntry) entryTime) =
+renderOnelinePretty _exeName _startTime _timestampSwitch (WithTimestamp entry@(SomeEntry entryContext _actualEntry) _entryTime) =
     let cs =
             entryContext
                 & concatMap (map Pretty.brackets . (\(SomeEntry _ e) -> oneLineContextDoc e))

kore/src/Kore/Rewrite/Step.hs

@@ -73,7 +73,6 @@ import Kore.Log.DebugAppliedRewriteRules (
     debugAppliedLabeledRewriteRule,
  )
 import Kore.Log.DebugAttemptedRewriteRules (
-    debugAttemptedRewriteRule,
     whileDebugAttemptRewriteRule,
  )
 import Kore.Log.DecidePredicateUnknown (srcLoc)