Use template-haskell-lift for GHC>=9.15

This new boot library should be more stable than template-haskell and
should eventually allow us to remove much of the CPP around TH.

It will also make it easier for end-users to reinstall template-haskell
as it will no longer be used by any boot libraries

Author: TeofilC

Data/ByteString/Internal/Type.hs

@@ -195,8 +195,12 @@ import GHC.Int                  (Int (..))
 import GHC.ForeignPtr           (unsafeWithForeignPtr)
 #endif
 
-import qualified Language.Haskell.TH.Lib as TH
+#if __GLASGOW_HASKELL__ >= 915
+import qualified Language.Haskell.TH.Lift as TH
+#else
 import qualified Language.Haskell.TH.Syntax as TH
+import qualified Language.Haskell.TH.Lib as TH
+#endif
 
 #if !HS_unsafeWithForeignPtr_AVAILABLE
 unsafeWithForeignPtr :: ForeignPtr a -> (Ptr a -> IO b) -> IO b
@@ -360,7 +364,13 @@ byteStringDataType = mkDataType "Data.ByteString.ByteString" [packConstr]
 
 -- | @since 0.11.2.0
 instance TH.Lift ByteString where
-#if MIN_VERSION_template_haskell(2,16,0)
+#if __GLASGOW_HASKELL__ >= 915
+  lift (BS ptr len) =
+    [| unsafePackLenLiteral
+        $(TH.lift len)
+        $(TH.liftAddrCompat ptr 0 (fromIntegral len))
+     |]
+#elif __GLASGOW_HASKELL__ >= 810
 -- template-haskell-2.16 first ships with ghc-8.10
   lift (BS ptr len) = [| unsafePackLenLiteral |]
     `TH.appE` TH.litE (TH.integerL (fromIntegral len))
@@ -371,10 +381,13 @@ instance TH.Lift ByteString where
     `TH.appE` TH.litE (TH.StringPrimL $ unpackBytes bs)
 #endif
 
-#if MIN_VERSION_template_haskell(2,17,0)
+#if __GLASGOW_HASKELL__ >= 915
+-- template-haskell-lift-0.1 first ships with ghc-9.16
+  liftTyped = TH.defaultLiftTyped
+#elif __GLASGOW_HASKELL__ >= 900
 -- template-haskell-2.17 first ships with ghc-9.0
   liftTyped = TH.unsafeCodeCoerce . TH.lift
-#elif MIN_VERSION_template_haskell(2,16,0)
+#elif __GLASGOW_HASKELL__ >= 810
 -- template-haskell-2.16 first ships with ghc-8.10
   liftTyped = TH.unsafeTExpCoerce . TH.lift
 #endif

Data/ByteString/Lazy/Internal.hs

@@ -63,7 +63,11 @@ import Data.Data                (Data(..), mkConstr ,mkDataType, Constr, DataTyp
 
 import GHC.Exts                 (IsList(..))
 
+#if __GLASGOW_HASKELL__ >= 915
+import qualified Language.Haskell.TH.Lift as TH
+#else
 import qualified Language.Haskell.TH.Syntax as TH
+#endif
 
 #ifdef HS_BYTESTRING_ASSERTIONS
 import Control.Exception (assert)

Data/ByteString/Short/Internal.hs

@@ -248,7 +248,12 @@ import qualified Data.ByteString.Lazy.Internal as LBS
 
 import qualified Data.List as List
 import qualified GHC.Exts
+#if __GLASGOW_HASKELL__ >= 915
+import qualified Language.Haskell.TH.Lift as TH
+#else
 import qualified Language.Haskell.TH.Syntax as TH
+#endif
+
 
 -- | A compact representation of a 'Word8' vector.
 --

bytestring.cabal

@@ -109,11 +109,19 @@ common language
 
 library
   import:          language
-  build-depends:   base >= 4.12 && < 5, ghc-prim, deepseq, template-haskell
+  build-depends:   base >= 4.12 && < 5, ghc-prim, deepseq
 
   if impl(ghc < 9.4)
     build-depends: data-array-byte >= 0.1 && < 0.2
 
+  -- template-haskell-lift was added as a boot library in GHC-9.16
+  -- once we no longer wish to backport releases to older major releases,
+  -- this conditional can be dropped
+  if impl(ghc < 9.115)
+    build-depends: template-haskell
+  else
+    build-depends: template-haskell-lift >= 0.1 && <0.2
+
   exposed-modules: Data.ByteString
                    Data.ByteString.Char8
                    Data.ByteString.Unsafe
@@ -222,7 +230,6 @@ test-suite bytestring-tests
                     QuickCheck,
                     tasty,
                     tasty-quickcheck >= 0.8.1,
-                    template-haskell,
                     transformers >= 0.3,
                     syb
 
@@ -235,6 +242,11 @@ test-suite bytestring-tests
   if os(openbsd)
     build-depends: splitmix < 0.1.3 || > 0.1.3.1
 
+  if impl(ghc < 9.115)
+    build-depends: template-haskell
+  else
+    build-depends: template-haskell-lift
+
 benchmark bytestring-bench
   import:           language
   main-is:          BenchAll.hs

tests/Lift.hs

@@ -10,7 +10,11 @@ import           Test.Tasty.QuickCheck (testProperty, (===))
 import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy as LBS
 import qualified Data.ByteString.Short as SBS
+#if __GLASGOW_HASKELL__ >= 915
+import qualified Language.Haskell.TH.Lift as TH
+#else
 import qualified Language.Haskell.TH.Syntax as TH
+#endif
 
 testSuite :: TestTree
 #ifdef wasm32_HOST_ARCH
@@ -26,7 +30,7 @@ testSuite = testGroup "Lift"
         let bs = "\0\1\2\3\0\1\2\3" :: BS.ByteString in
         bs === $(TH.lift $ BS.pack [0,1,2,3,0,1,2,3])
 
-#if MIN_VERSION_template_haskell(2,16,0)
+#if __GLASGOW_HASKELL__ >= 810
     , testProperty "typed" $
         let bs = "\0\1\2\3\0\1\2\3" :: BS.ByteString in
         bs === $$(TH.liftTyped $ BS.pack [0,1,2,3,0,1,2,3])
@@ -42,7 +46,7 @@ testSuite = testGroup "Lift"
         let bs = "\0\1\2\3\0\1\2\3" :: LBS.ByteString in
         bs === $(TH.lift $ LBS.pack [0,1,2,3,0,1,2,3])
 
-#if MIN_VERSION_template_haskell(2,16,0)
+#if __GLASGOW_HASKELL__ >= 810
     , testProperty "typed" $
         let bs = "\0\1\2\3\0\1\2\3" :: LBS.ByteString in
         bs === $$(TH.liftTyped $ LBS.pack [0,1,2,3,0,1,2,3])
@@ -58,7 +62,7 @@ testSuite = testGroup "Lift"
         let bs = "\0\1\2\3\0\1\2\3" :: SBS.ShortByteString in
         bs === $(TH.lift $ SBS.pack [0,1,2,3,0,1,2,3])
 
-#if MIN_VERSION_template_haskell(2,16,0)
+#if __GLASGOW_HASKELL__ >= 810
     , testProperty "typed" $
         let bs = "\0\1\2\3\0\1\2\3" :: SBS.ShortByteString in
         bs === $$(TH.liftTyped $ SBS.pack [0,1,2,3,0,1,2,3])