a182f8d · streamly · git.iko.soy

git.iko.soy/streamly

Add Werror CI for ghc-9.4.4 (#2370)

commita182f8db0c62aa811b824f58950b0e3558255ffb authorRanjeet Ranjan <ranjeetr@composewell.com> dateTue 16 May 2023, 14:17 (3 years ago) parent6804880

10 files changed+19−15

compare with master

unifiedsplit

.github/workflows/haskell.yml+8−8 benchmark/Streamly/Benchmark/Data/Fold.hs+2−2 core/src/Streamly/Internal/Data/Fold/Tee.hs+1−1 core/src/Streamly/Internal/Data/Parser/ParserD/Type.hs+1−1 core/src/Streamly/Internal/Data/Unboxed.hs+2−2 src/Streamly/Internal/Data/IsMap/HashMap.hs+1−1 src/Streamly/Internal/Data/Stream/Ahead.hs+1 src/Streamly/Internal/Data/Stream/Async.hs+1 src/Streamly/Internal/Data/Stream/Parallel.hs+1 src/Streamly/Internal/Data/Stream/Serial.hs+1

.github/workflows/haskell.yml+8−8

@@ -74,6 +74,14 @@ jobs:

7474 cabal_project: cabal.project.ghc-head

7575 disable_sdist_build: "y"

7676 ignore_error: true

77+ - name: 9.4.4-Werror

78+ ghc_version: 9.4.4

79+ runner: ubuntu-latest

80+ build: cabal

81+ cabal_version: 3.8.1.0

82+ disable_sdist_build: "y"

83+ cabal_project: cabal.project.Werror

84+ ignore_error: true

7785 - name: 9.4.4-fusion-inspection

7886 ghc_version: 9.4.4

7987 runner: ubuntu-latest

@@ -136,14 +144,6 @@ jobs:

136144 # coverage: "y"

137145 # cabal_version: 3.6.2.0

138146 # ignore_error: false

139− - name: 8.10.7-Werror

140− ghc_version: 8.10.7

141− runner: ubuntu-latest

142− build: cabal

143− cabal_version: 3.6.2.0

144− cabal_project: cabal.project.Werror

145− disable_sdist_build: "y"

146− ignore_error: false

147147 - name: 8.8.4

148148 ghc_version: 8.8.4

149149 runner: ubuntu-latest

benchmark/Streamly/Benchmark/Data/Fold.hs+2−2

@@ -214,7 +214,7 @@ demuxToIntMap :: Monad m =>

214214demuxToIntMap f g = Stream.fold (FL.demuxToContainer f g)

215215

216216{-# INLINE demuxToHashMap #-}

217−demuxToHashMap :: (Monad m, Ord k, Hashable k) =>

217+demuxToHashMap :: (Monad m, Hashable k) =>

218218 (a -> k) -> (a -> m (Fold m a b)) -> Stream m a -> m (HashMap k b)

219219demuxToHashMap f g = Stream.fold (FL.demuxToContainer f g)

220220

@@ -224,7 +224,7 @@ demuxToMapIO :: (MonadIO m, Ord k) =>

224224demuxToMapIO f g = Stream.fold (FL.demuxToContainerIO f g)

225225

226226{-# INLINE demuxToHashMapIO #-}

227−demuxToHashMapIO :: (MonadIO m, Ord k, Hashable k) =>

227+demuxToHashMapIO :: (MonadIO m, Hashable k) =>

228228 (a -> k) -> (a -> m (Fold m a b)) -> Stream m a -> m (HashMap k b)

229229demuxToHashMapIO f g = Stream.fold (FL.demuxToContainerIO f g)

230230

core/src/Streamly/Internal/Data/Fold/Tee.hs+1−1

@@ -77,7 +77,7 @@ instance (Semigroup b, Monad m) => Semigroup (Tee m a b) where

7777-- | '<>' distributes the input to both the argument 'Tee's and combines their

7878-- outputs using the 'Monoid' instance of the output type.

7979--

80−instance (Semigroup b, Monoid b, Monad m) => Monoid (Tee m a b) where

80+instance (Monoid b, Monad m) => Monoid (Tee m a b) where

8181 {-# INLINE mempty #-}

8282 mempty = pure mempty

8383

core/src/Streamly/Internal/Data/Parser/ParserD/Type.hs+1−1

@@ -1382,7 +1382,7 @@ instance Monad m => MonadPlus (Parser a m) where

13821382 mplus = alt

13831383-}

13841384

1385−instance (Monad m, MonadIO m) => MonadIO (Parser a m) where

1385+instance (MonadIO m) => MonadIO (Parser a m) where

13861386 {-# INLINE liftIO #-}

13871387 liftIO = fromEffect . liftIO

13881388

core/src/Streamly/Internal/Data/Unboxed.hs+2−2

@@ -737,7 +737,7 @@ instance (KnownNat n, PokeRep a) => PokeRepSum n (C1 c a) where

737737 pokeBoundedPtr (fromInteger (natVal (Proxy :: Proxy n)) :: Word8) ptr

738738 >>= pokeRep x

739739

740−instance (KnownNat n, PokeRepSum n f, PokeRepSum (n + SumArity f) g)

740+instance (PokeRepSum n f, PokeRepSum (n + SumArity f) g)

741741 => PokeRepSum n (f :+: g) where

742742 {-# INLINE pokeRepSum #-}

743743 pokeRepSum _ (L1 x) ptr =

@@ -816,7 +816,7 @@ instance (KnownNat n, PeekRep a) => PeekRepSum n (C1 c a) where

816816

817817 curTag = fromInteger (natVal (Proxy :: Proxy n))

818818

819−instance (KnownNat n, PeekRepSum n f, PeekRepSum (n + SumArity f) g)

819+instance (PeekRepSum n f, PeekRepSum (n + SumArity f) g)

820820 => PeekRepSum n (f :+: g) where

821821 {-# INLINE peekRepSum #-}

822822 peekRepSum curProxy tag

src/Streamly/Internal/Data/IsMap/HashMap.hs+1−1

@@ -20,7 +20,7 @@ import Streamly.Internal.Data.IsMap (IsMap(..))

2020

2121import qualified Data.HashMap.Strict as HashMap

2222

23−instance (Hashable k, Eq k) => IsMap (HashMap.HashMap k) where

23+instance (Hashable k) => IsMap (HashMap.HashMap k) where

2424 type Key (HashMap.HashMap k) = k

2525

2626 mapEmpty = HashMap.empty

src/Streamly/Internal/Data/Stream/Ahead.hs+1

@@ -1,5 +1,6 @@

11{-# LANGUAGE UndecidableInstances #-}

22{-# OPTIONS_GHC -fno-warn-deprecations #-}

3+{-# OPTIONS_GHC -Wno-redundant-constraints #-}

45-- |

56-- Module : Streamly.Internal.Data.Stream.Ahead

src/Streamly/Internal/Data/Stream/Async.hs+1

@@ -1,5 +1,6 @@

11{-# LANGUAGE UndecidableInstances #-}

22{-# OPTIONS_GHC -fno-warn-deprecations #-}

3+{-# OPTIONS_GHC -Wno-redundant-constraints #-}

45#include "inline.hs"

src/Streamly/Internal/Data/Stream/Parallel.hs+1

@@ -1,5 +1,6 @@

11{-# LANGUAGE UndecidableInstances #-}

22{-# OPTIONS_GHC -fno-warn-deprecations #-}

3+{-# OPTIONS_GHC -Wno-redundant-constraints #-}

45-- |

56-- Module : Streamly.Internal.Data.Stream.Parallel

src/Streamly/Internal/Data/Stream/Serial.hs+1

@@ -1,5 +1,6 @@

11{-# LANGUAGE UndecidableInstances #-}

22{-# OPTIONS_GHC -Wno-deprecations #-}

3+{-# OPTIONS_GHC -Wno-redundant-constraints #-}

45-- |

56-- Module : Streamly.Internal.Data.Stream.Serial