🐛 Fix build on older compilers

lsrcz · Aug 16, 2024 · 110be1b · 110be1b
1 parent 3c78c3e
commit 110be1b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/src/Grisette/Unified/Internal/EvalMode.hs b/src/Grisette/Unified/Internal/EvalMode.hs
@@ -58,14 +58,14 @@ import Grisette.Unified.Internal.UnifiedFun
 import Grisette.Unified.Internal.UnifiedInteger (UnifiedInteger)
 import Language.Haskell.TH
   ( DecsQ,
-    Quote (newName),
     Type (AppT, ArrowT, ConT, StarT, VarT),
     appT,
     classD,
     conT,
     instanceD,
     kindedTV,
     mkName,
+    newName,
     promotedT,
     tySynD,
     varT,

diff --git a/src/Grisette/Unified/Internal/UnifiedFun.hs b/src/Grisette/Unified/Internal/UnifiedFun.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -83,15 +84,23 @@ import Language.Haskell.TH
     promotedT,
     varT,
   )
+import qualified Language.Haskell.TH
 import Language.Haskell.TH.Datatype.TyVarBndr
-  ( TyVarBndrVis,
-    kindedTV,
+  ( kindedTV,
     mapTVFlag,
     specifiedSpec,
     tvName,
   )
 import Language.Haskell.TH.Syntax (Lift)
 
+#if MIN_VERSION_template_haskell(2,21,0)
+type TyVarBndrVis = Language.Haskell.TH.TyVarBndrVis
+#elif MIN_VERSION_template_haskell(2,17,0)
+type TyVarBndrVis = Language.Haskell.TH.TyVarBndr ()
+#else
+type TyVarBndrVis = Language.Haskell.TH.TyVarBndr
+#endif
+
 -- | Provide unified function types.
 class UnifiedFun (mode :: EvalModeTag) where
   -- | Get a unified function type. Resolves to t'Grisette.SymPrim.=->' in 'Con'