@@ -1,3 +1,5 @@
1module Main (main) where
3module Main (main) where
3import Control.Monad (when)
5import Control.Monad (when)
@@ -161,7 +163,12 @@ transformOpsWord8 desc t = do
161 prop (desc ++ " elem") $ elemOp t A.notElem notElem
163 prop (desc ++ " elem") $ elemOp t A.notElem notElem
163semigroupOps
165semigroupOps
164− :: (Streaming t, MonadPlus (t IO), Semigroup (t IO Int), Monoid (t IO Int))
166+ :: ( Streaming t, MonadPlus (t IO)
168+#if __GLASGOW_HASKELL__ < 804
169+ , Semigroup (t IO Int)
171+ , Monoid (t IO Int))
165 => String -> (t IO Int -> t IO Int) -> Spec
172 => String -> (t IO Int -> t IO Int) -> Spec
166semigroupOps desc t = do
173semigroupOps desc t = do
167 prop (desc ++ " <>") $ foldFromList (foldMapWith (<>) return) t
174 prop (desc ++ " <>") $ foldFromList (foldMapWith (<>) return) t