on master help sign in
Remove support for old QuickCheck versions
372f44dAdam Bergmark
aeson.cabal+2−2
@@ -199,7 +199,7 @@ test-suite tests
199
199
200 build-depends:
200 build-depends:
201 HUnit,
201 HUnit,
202− QuickCheck >= 2.8 && <2.11,
202+ QuickCheck >= 2.10.0.1 && < 2.11,
203 aeson,
203 aeson,
204 integer-logarithms >= 1 && <1.1,
204 integer-logarithms >= 1 && <1.1,
205 attoparsec,
205 attoparsec,
@@ -226,7 +226,7 @@ test-suite tests
226 unordered-containers,
226 unordered-containers,
227 uuid-types,
227 uuid-types,
228 vector,
228 vector,
229− quickcheck-instances >=0.3.14
229+ quickcheck-instances >= 0.3.16
230
230
231 if flag(bytestring-builder)
231 if flag(bytestring-builder)
232 build-depends: bytestring >= 0.9 && < 0.10.4,
232 build-depends: bytestring >= 0.9 && < 0.10.4,
tests/Instances.hs−49
@@ -22,29 +22,12 @@ import Types
22import qualified Data.DList as DList
22import qualified Data.DList as DList
23import qualified Data.HashMap.Strict as HM
23import qualified Data.HashMap.Strict as HM
24
24
25−#if !MIN_VERSION_QuickCheck(2,9,0)
26−import Control.Applicative (Const(..))
27−import Data.Functor.Identity (Identity (..))
28−import Data.List.NonEmpty (NonEmpty(..))
29−import Data.Version
30−import Test.QuickCheck (getNonNegative, listOf1, resize)
31−#endif
32−
33−#if !MIN_VERSION_QuickCheck(2,10,0)
34−import Data.Functor.Compose (Compose (..))
35−import Data.Proxy (Proxy(..))
36−#endif
37−
38import Data.Orphans ()
25import Data.Orphans ()
39import Test.QuickCheck.Instances ()
26import Test.QuickCheck.Instances ()
40#if MIN_VERSION_base(4,7,0)
27#if MIN_VERSION_base(4,7,0)
41import Data.Hashable.Time ()
28import Data.Hashable.Time ()
42#endif
29#endif
43
30
44−#if !MIN_VERSION_base(4,8,0) && !MIN_VERSION_QuickCheck(2,8,3)
45−import Numeric.Natural
46−#endif
47−
48{-# ANN module ("HLint: ignore Use fewer imports"::String) #-}
31{-# ANN module ("HLint: ignore Use fewer imports"::String) #-}
49
32
50-- "System" types.
33-- "System" types.
@@ -186,37 +169,5 @@ instance (ApproxEq a) => ApproxEq [a] where
186-- a definition is given below.
169-- a definition is given below.
187
170
188
171
189−#if !MIN_VERSION_base(4,8,0) && !MIN_VERSION_QuickCheck(2,8,3)
190−instance Arbitrary Natural where
191− arbitrary = fromInteger . abs <$> arbitrary
192−#endif
193−
194−#if !MIN_VERSION_QuickCheck(2,10,0)
195−instance Arbitrary (Proxy a) where
196− arbitrary = pure Proxy
197−
198−instance Arbitrary (f (g a)) => Arbitrary (Compose f g a) where
199− arbitrary = Compose <$> arbitrary
200−#endif
201−
202instance Arbitrary a => Arbitrary (DList.DList a) where
172instance Arbitrary a => Arbitrary (DList.DList a) where
203 arbitrary = DList.fromList <$> arbitrary
173 arbitrary = DList.fromList <$> arbitrary
204−
205−#if !MIN_VERSION_QuickCheck(2,9,0)
206−instance Arbitrary a => Arbitrary (Const a b) where
207− arbitrary = Const <$> arbitrary
208−
209−instance Arbitrary a => Arbitrary (NonEmpty a) where
210− arbitrary = (:|) <$> arbitrary <*> arbitrary
211−
212−instance Arbitrary Version where
213− arbitrary = makeVersion . fmap getNonNegative <$> resize 4 (listOf1 arbitrary)
214−
215−#if !MIN_VERSION_base(4,8,0)
216−makeVersion :: [Int] -> Version
217−makeVersion b = Version b []
218−#endif
219−
220−instance Arbitrary a => Arbitrary (Identity a) where
221− arbitrary = Identity <$> arbitrary
222−#endif