Make options backwards compatible

LeventErkok · Oct 30, 2023 · d1fc817 · d1fc817
1 parent a84d38f
commit d1fc817
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 6 deletions.
diff --git a/Documentation/SBV/Examples/Crypto/AES.hs b/Documentation/SBV/Examples/Crypto/AES.hs
@@ -24,11 +24,16 @@
 -- are supported.
 -----------------------------------------------------------------------------
 
+{-# LANGUAGE CPP              #-}
 {-# LANGUAGE DataKinds        #-}
 {-# LANGUAGE ParallelListComp #-}
 {-# LANGUAGE TypeApplications #-}
 
+#if MIN_VERSION_base(4,19,0)
 {-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns -Wno-x-partial #-}
+#else
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns #-}
+#endif
 
 module Documentation.SBV.Examples.Crypto.AES where
 

diff --git a/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs b/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs
@@ -10,11 +10,16 @@
 -- the constant folding based arithmetic implementation in SBV
 -----------------------------------------------------------------------------
 
-{-# LANGUAGE FlexibleContexts    #-}
-{-# LANGUAGE Rank2Types          #-}
-{-# LANGUAGE TupleSections       #-}
-
-{-# OPTIONS_GHC -Wall -Werror -Wno-x-partial #-}
+{-# LANGUAGE CPP              #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE Rank2Types       #-}
+{-# LANGUAGE TupleSections    #-}
+
+#if MIN_VERSION_base(4,19,0)
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns -Wno-x-partial #-}
+#else
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns #-}
+#endif
 
 module TestSuite.Basics.ArithNoSolver(tests) where
 

diff --git a/SBVTestSuite/TestSuite/Basics/ArithSolver.hs b/SBVTestSuite/TestSuite/Basics/ArithSolver.hs
@@ -11,12 +11,17 @@
 -- constant folding.
 -----------------------------------------------------------------------------
 
+{-# LANGUAGE CPP                 #-}
 {-# LANGUAGE FlexibleContexts    #-}
 {-# LANGUAGE Rank2Types          #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE DataKinds           #-}
 
-{-# OPTIONS_GHC -Wall -Werror -Wno-x-partial #-}
+#if MIN_VERSION_base(4,19,0)
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns -Wno-x-partial #-}
+#else
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-uni-patterns #-}
+#endif
 
 module TestSuite.Basics.ArithSolver(tests) where