Remove foldl' imports to avoid warnings (now in Prelude)

Author: jberthold

booster/library/Booster/Log.hs

@@ -47,7 +47,7 @@ import Data.Aeson.Types (object)
 import Data.Coerce (coerce)
 import Data.Data (Proxy (..))
 import Data.Hashable qualified
-import Data.List (foldl', intercalate, intersperse)
+import Data.List (intercalate, intersperse)
 import Data.List.Extra (splitOn, takeEnd)
 import Data.Maybe (fromMaybe)
 import Data.Set qualified as Set

booster/library/Booster/Pattern/Base.hs

@@ -35,7 +35,7 @@ import Data.Data (Data)
 import Data.Functor.Foldable
 import Data.Hashable (Hashable)
 import Data.Hashable qualified as Hashable
-import Data.List as List (foldl', foldl1', sort)
+import Data.List as List (foldl1', sort)
 import Data.Map.Strict (Map)
 import Data.Set (Set)
 import Data.Set qualified as Set

booster/library/Booster/Syntax/ParsedKore/Internalise.hs

@@ -29,7 +29,7 @@ import Data.ByteString.Char8 as BS (ByteString, pack)
 import Data.Coerce (coerce)
 import Data.Function (on)
 import Data.Generics (extQ)
-import Data.List (foldl', groupBy, nub, partition, sortOn)
+import Data.List (groupBy, nub, partition, sortOn)
 import Data.List.Extra (groupSort)
 import Data.Map.Strict (Map)
 import Data.Map.Strict qualified as Map

dev-tools/count-aborts/Main.hs

@@ -12,7 +12,7 @@ module Main (
 import Control.Monad (foldM, forM_)
 import Data.Aeson (decode)
 import Data.ByteString.Lazy.Char8 qualified as BS
-import Data.List (foldl', sortOn)
+import Data.List (sortOn)
 import Data.Map (Map)
 import Data.Map qualified as Map
 import Data.Maybe (fromMaybe)

dev-tools/process-logs/Main.hs

@@ -12,7 +12,7 @@ import Data.Aeson.Encode.Pretty qualified as JSON
 import Data.ByteString.Char8 qualified as BSS
 import Data.ByteString.Lazy.Char8 qualified as BS
 import Data.Foldable (toList)
-import Data.List (foldl', maximumBy, sortBy)
+import Data.List (maximumBy, sortBy)
 import Data.Map (Map)
 import Data.Map qualified as Map
 import Data.Maybe (mapMaybe)