generic-arbitrary 1.0.1 → 1.0.1.1
raw patch · 4 files changed
+34/−2 lines, 4 filesdep ~QuickCheckdep ~basedep ~deepseqnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck, base, deepseq, tasty, tasty-quickcheck
API changes (from Hackage documentation)
- Test.QuickCheck.Arbitrary.Generic: class Arbitrary a
+ Test.QuickCheck.Arbitrary.Generic: class () => Arbitrary a
Files
- CHANGELOG.md +5/−0
- generic-arbitrary.cabal +4/−1
- test/EnumTest.hs +24/−0
- test/RecursiveTest.hs +1/−1
CHANGELOG.md view
@@ -1,3 +1,8 @@+1.0.1.1+-------++* Fix compilation with GHC 9.8.3+ 1.0.1 -----
generic-arbitrary.cabal view
@@ -1,5 +1,5 @@ name: generic-arbitrary-version: 1.0.1+version: 1.0.1.1 synopsis: Generic implementation for QuickCheck's Arbitrary description: Generic implementations of methods of the 'Arbitrary' class from the@@ -21,6 +21,8 @@ , GHC == 8.10.7 , GHC == 9.0.2 , GHC == 9.2.4+ , GHC == 9.4.3+ , GHC == 9.8.1 source-repository head type: git@@ -66,6 +68,7 @@ , tasty-hunit , tasty-quickcheck other-modules: Auxiliary+ , EnumTest , LimitationDemo , NoTypecheckTest , ParametersTest
+ test/EnumTest.hs view
@@ -0,0 +1,24 @@+#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900+{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}+#elif __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 908+{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}+#endif++++module EnumTest where++import Control.DeepSeq+import GHC.Generics+import Test.QuickCheck+import Test.QuickCheck.Arbitrary.Generic++data Country = PL | GB | RU | RO | CZ | HR | SK | DE | NL | ES | BR+ deriving (Generic, NFData, Show)++instance Arbitrary Country where+ arbitrary = genericArbitrary+ shrink = genericShrink++prop_CountryTest :: Country -> Property+prop_CountryTest = total
test/RecursiveTest.hs view
@@ -8,7 +8,7 @@ module RecursiveTest where -import Control.DeepSeq+import Control.DeepSeq hiding (Unit) import GHC.Generics (Generic) import Test.QuickCheck import Test.QuickCheck.Arbitrary.Generic