QuickCheck 2.9 → 2.9.1

raw patch · 3 files changed

+10/−14 lines, 3 filesdep ~QuickCheckPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

Files

• QuickCheck.cabal +6/−10
• Test/QuickCheck/Property.hs +1/−4
• changelog +3/−0

@@ -1,5 +1,5 @@ Name: QuickCheck-Version: 2.9+Version: 2.9.1 Cabal-Version: >= 1.8 Build-type: Simple License: BSD3@@ -37,7 +37,7 @@ source-repository this   type:     git   location: https://github.com/nick8325/quickcheck-  tag:      2.9+  tag:      2.9.1  flag templateHaskell   Description: Build Test.QuickCheck.All, which uses Template Haskell.@@ -70,7 +70,6 @@     cpp-options: -DNO_TRANSFORMERS    if impl(ghc) && flag(templateHaskell)-    -- && !impl(haste)     Build-depends: template-haskell >= 2.4     Other-Extensions: TemplateHaskell     Exposed-Modules: Test.QuickCheck.All@@ -90,7 +89,6 @@    -- Use tf-random on newer GHCs.   if impl(ghc)-    -- && !impl(haste)     Build-depends: tf-random >= 0.4   else     cpp-options: -DNO_TF_RANDOM@@ -136,11 +134,10 @@     build-depends:       base,       containers,-      QuickCheck == 2.9,+      QuickCheck == 2.9.1,       template-haskell >= 2.4,       test-framework >= 0.4 && < 0.9     if flag(templateHaskell)-        -- && !impl(haste)         Buildable: True     else         Buildable: False@@ -149,7 +146,7 @@     type: exitcode-stdio-1.0     hs-source-dirs: tests     main-is: GCoArbitraryExample.hs-    build-depends: base, QuickCheck == 2.9+    build-depends: base, QuickCheck == 2.9.1     if impl(ghc < 7.2)         buildable: False     if impl(ghc >= 7.2) && impl(ghc < 7.6)@@ -159,16 +156,15 @@     type: exitcode-stdio-1.0     hs-source-dirs: tests     main-is: Generators.hs-    build-depends: base, QuickCheck == 2.9+    build-depends: base, QuickCheck == 2.9.1     if !flag(templateHaskell)-       -- || impl(haste)         Buildable: False  Test-Suite test-quickcheck-gshrink     type: exitcode-stdio-1.0     hs-source-dirs: tests     main-is: GShrinkExample.hs-    build-depends: base, QuickCheck == 2.9+    build-depends: base, QuickCheck == 2.9.1     if impl(ghc < 7.2)         buildable: False     if impl(ghc >= 7.2) && impl(ghc < 7.6)

@@ -413,10 +413,7 @@ -- test case generator. forAll :: (Show a, Testable prop)        => Gen a -> (a -> prop) -> Property-forAll gen pf =-  MkProperty $-  gen >>= \x ->-    unProperty (counterexample (show x) (pf x))+forAll gen pf = forAllShrink gen (\_ -> []) pf  -- | Like 'forAll', but tries to shrink the argument for failing test cases. forAllShrink :: (Show a, Testable prop)

@@ -1,3 +1,6 @@+QuickCheck 2.9.1 (released 2016-07-11)+	* 'again' was only used in forAllShrink, not forAll+ QuickCheck 2.9 (released 2016-07-10) 	* Arbitrary, CoArbitrary and Function instances for more types 	* Generics for automatic Function instances