QuickCheck-safe 0.1.0.2 → 0.1.0.3
raw patch · 3 files changed
+11/−8 lines, 3 filesdep ~QuickCheckPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
Files
- Changelog +3/−0
- QuickCheck-safe.cabal +4/−3
- src/Test/QuickCheck/Safe.hs +4/−5
Changelog view
@@ -1,3 +1,6 @@+QuickCheck-safe 0.1.0.3+ * compatibility with QuickCheck 2.10+ QuickCheck-safe 0.1.0.2 * compatibility with QuickCheck 2.9
QuickCheck-safe.cabal view
@@ -1,5 +1,5 @@ name: QuickCheck-safe-version: 0.1.0.2+version: 0.1.0.3 synopsis: Safe reimplementation of QuickCheck's core description: QuickCheck-safe reimplements the quickCheck functionality with a pure@@ -20,7 +20,7 @@ license-file: LICENSE author: Bertram Felgenhauer maintainer: Bertram Felgenhauer <int-e@gmx.de>-copyright: 2015, 2017 Bertram Felgenhauer+copyright: 2015,2017 Bertram Felgenhauer category: Testing build-type: Simple cabal-version: >= 1.10@@ -33,7 +33,7 @@ library hs-source-dirs: src build-depends:- QuickCheck >= 2.7.3 && < 2.10,+ QuickCheck >= 2.7.3 && < 2.11, base >= 4.6 && < 5 exposed-modules: Test.QuickCheck.Safe@@ -41,5 +41,6 @@ other-extensions: BangPatterns, Safe,+ CPP, Trustworthy default-language: Haskell2010
src/Test/QuickCheck/Safe.hs view
@@ -6,6 +6,7 @@ {-# LANGUAGE BangPatterns #-} {-# LANGUAGE Safe #-}+{-# LANGUAGE CPP #-} module Test.QuickCheck.Safe ( -- * Checking properties@@ -164,17 +165,12 @@ -- conjoin :: STestable prop => [prop] -> SProperty -- counterexample :: STestable prop => String -> prop -> SProperty -- cover :: STestable prop => Bool -> Int -> String -> prop -> SProperty--- (leads to InsufficientCoverage result) -- disjoin :: STestable prop => [prop] -> SProperty -- expectFailure :: STestable prop => prop -> SProperty--- (leads to NoExpectedFailure result) -- once :: STestable prop => prop -> SProperty -- printTestCase :: STestable prop => String -> prop -> SProperty -- verbose :: STestable prop => prop -> SProperty -- within :: STestable prop => Int -> prop -> SProperty--- once :: STestable prop => prop -> Property--- again :: STestable prop => prop -> Property--- noShrinking :: STestable prop => prop -> Property -- | Cf. 'Test.QuickCheck.quickCheckWithResult'. Note that in contrast to -- QuickCheck's function, this one takes an additional 'QCGen' argument.@@ -214,6 +210,9 @@ reason = reason, theException = sException res, labels = map (\x -> (x, 0)) (sLabels res),+#if MIN_VERSION_QuickCheck(2,10,0)+ failingTestCase = sLabels res,+#endif output = "*** Failed! " ++ reason ++ " (after " ++ count (pass + 1) "test" ++ (if shr > 0 then " and " ++ count shr "shrink" else "") ++