Drop support for base < 4.18, clean up CPP

Author: andrewthad

bytesmith.cabal

@@ -41,7 +41,7 @@ library
     Data.Bytes.Parser.Types
 
   build-depends:
-    , base                >=4.12    && <5
+    , base                >=4.18    && <5
     , byteslice           >=0.2.6   && <0.3
     , bytestring          >=0.10.8  && <0.13
     , contiguous          >=0.6     && <0.7

src/Data/Bytes/Parser.hs

@@ -258,17 +258,13 @@ cstring :: e -> CString -> Parser e s ()
 cstring e (Exts.Ptr ptr0) = Parser
   ( \(# arr, off0, len0 #) s ->
     let go !ptr !off !len = case
-#if MIN_VERSION_base(4,16,0)
                  Exts.word8ToWord#
-#endif
             (Exts.indexWord8OffAddr# ptr 0#) of
           0## -> (# s, (# | (# (), off, len #) #) #)
           c -> case len of
             0# -> (# s, (# e | #) #)
             _ -> case Exts.eqWord# c (
-#if MIN_VERSION_base(4,16,0)
                  Exts.word8ToWord#
-#endif
               (Exts.indexWord8Array# arr off)) of
               1# -> go (Exts.plusAddr# ptr 1# ) (off +# 1# ) (len -# 1# )
               _ -> (# s, (# e | #) #)
@@ -593,9 +589,7 @@ unboxWord32 (Parser f) = Parser
     (# s1, r #) -> case r of
       (# e | #) -> (# s1, (# e | #) #)
       (# | (# W32# a, b, c #) #) -> (# s1, (# | (#
-#if MIN_VERSION_base(4,16,0)
         Exts.word32ToWord#
-#endif
         a, b, c #) #) #)
   )
 {- FOURMOLU_ENABLE -}
@@ -621,9 +615,7 @@ boxWord32 (Parser f) = Parser
     (# s1, r #) -> case r of
       (# e | #) -> (# s1, (# e | #) #)
       (# | (# a, b, c #) #) -> (# s1, (# | (# W32# (
-#if MIN_VERSION_base(4,16,0)
         Exts.wordToWord32#
-#endif
         a), b, c #) #) #)
   )
 {- FOURMOLU_ENABLE -}

src/Data/Bytes/Parser/BigEndian.hs

@@ -38,10 +38,6 @@ module Data.Bytes.Parser.BigEndian
 
 import Prelude hiding (any, fail, length, takeWhile)
 
-#if MIN_VERSION_base(4,18,0)
-#else
-import Control.Applicative (liftA2)
-#endif
 import Data.Bits (unsafeShiftL, (.|.))
 import Data.Bytes.Parser.Internal (Parser, Result (..), swapArray128, swapArray16, swapArray256, swapArray32, swapArray64, uneffectful)
 import Data.Bytes.Types (Bytes (..))

src/Data/Bytes/Parser/Latin.hs

@@ -701,11 +701,7 @@ upcastWord64Result :: Result# e Word# -> Result# e Word64
 {-# inline upcastWord64Result #-}
 upcastWord64Result (# e | #) = (# e | #)
 upcastWord64Result (# | (# a, b, c #) #) = (# | (# W64# (
-#if MIN_VERSION_base(4,17,0)
     Exts.wordToWord64# a
-#else
-    a
-#endif
     ), b, c #) #)
 {- FOURMOLU_ENABLE -}
 
@@ -774,29 +770,23 @@ upcastWord16Result :: Result# e Word# -> Result# e Word16
 {-# inline upcastWord16Result #-}
 upcastWord16Result (# e | #) = (# e | #)
 upcastWord16Result (# | (# a, b, c #) #) = (# | (# W16# (
-#if MIN_VERSION_base(4,16,0)
   Exts.wordToWord16#
-#endif
   a), b, c #) #)
 
 -- Precondition: the word is small enough
 upcastWord32Result :: Result# e Word# -> Result# e Word32
 {-# inline upcastWord32Result #-}
 upcastWord32Result (# e | #) = (# e | #)
 upcastWord32Result (# | (# a, b, c #) #) = (# | (# W32# (
-#if MIN_VERSION_base(4,16,0)
   Exts.wordToWord32#
-#endif
   a), b, c #) #)
 
 -- Precondition: the word is small enough
 upcastWord8Result :: Result# e Word# -> Result# e Word8
 {-# inline upcastWord8Result #-}
 upcastWord8Result (# e | #) = (# e | #)
 upcastWord8Result (# | (# a, b, c #) #) = (# | (# W8# (
-#if MIN_VERSION_base(4,16,0)
   Exts.wordToWord8#
-#endif
   a), b, c #) #)
 {- FOURMOLU_ENABLE -}
 
@@ -1188,9 +1178,7 @@ hexFixedWord32 e = Parser
     (# s1, r #) -> case r of
       (# err | #) -> (# s1, (# err | #) #)
       (# | (# a, b, c #) #) -> (# s1, (# | (# W32# (
-#if MIN_VERSION_base(4,16,0)
         Exts.wordToWord32#
-#endif
         a), b, c #) #) #)
   )
 {- FOURMOLU_ENABLE -}
@@ -1239,12 +1227,7 @@ hexFixedWord64 e = Parser
     (# s1, r #) -> case r of
       (# err | #) -> (# s1, (# err | #) #)
       (# | (# a, b, c #) #) -> (# s1, (# | (# W64# (
-#if MIN_VERSION_base(4,17,0)
           Exts.wordToWord64# a
-#else
-
-          a
-#endif
           ), b, c #) #) #)
   )
 {- FOURMOLU_ENABLE -}
@@ -1298,9 +1281,7 @@ hexFixedWord16 e = Parser
     (# s1, r #) -> case r of
       (# err | #) -> (# s1, (# err | #) #)
       (# | (# a, b, c #) #) -> (# s1, (# | (# W16# (
-#if MIN_VERSION_base(4,16,0)
         Exts.wordToWord16#
-#endif
         a), b, c #) #) #)
   )
 
@@ -1334,9 +1315,7 @@ hexFixedWord8 e = Parser
     (# s1, r #) -> case r of
       (# err | #) -> (# s1, (# err | #) #)
       (# | (# a, b, c #) #) -> (# s1, (# | (# W8# (
-#if MIN_VERSION_base(4,16,0)
         Exts.wordToWord8#
-#endif
         a), b, c #) #) #)
   )
 {- FOURMOLU_ENABLE -}

src/Data/Bytes/Parser/LittleEndian.hs

@@ -43,10 +43,7 @@ module Data.Bytes.Parser.LittleEndian
 
 import Prelude hiding (any, fail, length, takeWhile)
 
-#if MIN_VERSION_base(4,18,0)
-#else
 import Control.Applicative (liftA2)
-#endif
 import Data.Bits (unsafeShiftL, (.|.))
 import Data.Bytes.Parser.Internal (Parser, Result (..), swapArray128, swapArray16, swapArray256, swapArray32, swapArray64, uneffectful)
 import Data.Bytes.Types (Bytes (..))

src/Data/Bytes/Parser/Rebindable.hs

@@ -25,12 +25,7 @@ module Data.Bytes.Parser.Rebindable
 import Data.Bytes.Parser.Internal (Parser (..))
 import GHC.Exts (RuntimeRep (..), TYPE)
 import Prelude ()
-
-#if MIN_VERSION_base(4,16,0)
 import GHC.Exts (LiftedRep)
-#else
-type LiftedRep = 'LiftedRep
-#endif
 
 class Bind (ra :: RuntimeRep) (rb :: RuntimeRep) where
   (>>=) ::

src/Data/Bytes/Parser/Utf8.hs

@@ -46,9 +46,7 @@ any# e = Parser
       let !w0 = Exts.indexWord8Array# arr off
        in if | oneByteChar (W8# w0) ->
                  (# s0, (# | (# chr# (Exts.word2Int# (
-#if MIN_VERSION_base(4,16,0)
                  Exts.word8ToWord#
-#endif
                  w0)), off +# 1#, len -# 1# #) #) #)
              | twoByteChar (W8# w0) ->
                  if | I# len > 1

test/Main.hs

@@ -7,10 +7,6 @@
 {-# LANGUAGE TypeApplications #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
-#if MIN_VERSION_base(4,18,0)
-#else
-import Control.Applicative (liftA2)
-#endif
 import Control.Monad (replicateM)
 import Control.Monad.ST (runST)
 import Data.Bytes.Parser (Slice (Slice))