GHC-9.8 compatibility: import foldl' from Data.List

Part of ucsd-progsys#2379
gergoerdi · Oct 11, 2024 · ae3990a · ae3990a
1 parent 0cb0ac2
commit ae3990a
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Compat.hs b/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Compat.hs
@@ -2,8 +2,13 @@
 module Liquid.GHC.API.Compat (
     UniqueId
   , toUniqueId
+
+  , foldl'
   ) where
 
+#if !MIN_VERSION_ghc(9,10,0)
+import Data.List (foldl')
+#endif
 import Data.Word (Word64)
 
 ----------------------

diff --git a/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Extra.hs b/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Extra.hs
@@ -34,6 +34,7 @@ module Liquid.GHC.API.Extra (
 
 import Control.Monad.IO.Class
 import           Liquid.GHC.API.StableModule      as StableModule
+import Liquid.GHC.API.Compat (foldl')
 import GHC
 import Data.Data (Data, gmapQr, gmapT)
 import Data.Generics (extQ, extT)

diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs
@@ -39,6 +39,7 @@ import qualified Text.PrettyPrint.HughesPJ              as PJ
 import           Text.PrettyPrint.HughesPJ.Compat       ((<+>))
 import           Language.Fixpoint.Types                hiding (panic, SVar, DDecl, DataDecl, DataCtor (..), Error, R, Predicate)
 import           Language.Haskell.Liquid.GHC.Misc       hiding (getSourcePos)
+import           Liquid.GHC.API.Compat
 import           Language.Haskell.Liquid.Types
 -- import           Language.Haskell.Liquid.Types.Errors
 import qualified Language.Fixpoint.Misc                 as Misc

diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/QuasiQuoter.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/UX/QuasiQuoter.hs
@@ -28,6 +28,7 @@ import qualified Language.Fixpoint.Types as F
 
 import Language.Haskell.Liquid.GHC.Misc (fSrcSpan)
 import Liquid.GHC.API  (SrcSpan)
+import Liquid.GHC.API.Compat
 import Language.Haskell.Liquid.Parse
 import Language.Haskell.Liquid.Types