tasty-quickcheck 0.10.1.1 → 0.10.1.2
raw patch · 4 files changed
+27/−13 lines, 4 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Test.Tasty.QuickCheck: pattern Fn3 :: forall a b c d. () => () => (a -> b -> c -> d) -> Fun (a, b, c) d
+ Test.Tasty.QuickCheck: chooseAny :: Random a => Gen a
+ Test.Tasty.QuickCheck: chooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a
+ Test.Tasty.QuickCheck: chooseEnum :: Enum a => (a, a) -> Gen a
+ Test.Tasty.QuickCheck: chooseInt :: (Int, Int) -> Gen Int
+ Test.Tasty.QuickCheck: chooseInteger :: (Integer, Integer) -> Gen Integer
+ Test.Tasty.QuickCheck: instance GHC.Show.Show Test.Tasty.QuickCheck.QuickCheckMaxRatio
+ Test.Tasty.QuickCheck: instance GHC.Show.Show Test.Tasty.QuickCheck.QuickCheckMaxShrinks
+ Test.Tasty.QuickCheck: instance GHC.Show.Show Test.Tasty.QuickCheck.QuickCheckMaxSize
+ Test.Tasty.QuickCheck: instance GHC.Show.Show Test.Tasty.QuickCheck.QuickCheckTests
+ Test.Tasty.QuickCheck: pattern Fn :: (a -> b) -> Fun a b
+ Test.Tasty.QuickCheck: pattern Fn2 :: (a -> b -> c) -> Fun (a, b) c
+ Test.Tasty.QuickCheck: pattern Fn3 :: (a -> b -> c -> d) -> Fun (a, b, c) d
- Test.Tasty.QuickCheck: (><) :: () => (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a
+ Test.Tasty.QuickCheck: (><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a
- Test.Tasty.QuickCheck: applyFun :: () => Fun a b -> a -> b
+ Test.Tasty.QuickCheck: applyFun :: Fun a b -> a -> b
- Test.Tasty.QuickCheck: applyFun2 :: () => Fun (a, b) c -> a -> b -> c
+ Test.Tasty.QuickCheck: applyFun2 :: Fun (a, b) c -> a -> b -> c
- Test.Tasty.QuickCheck: applyFun3 :: () => Fun (a, b, c) d -> a -> b -> c -> d
+ Test.Tasty.QuickCheck: applyFun3 :: Fun (a, b, c) d -> a -> b -> c -> d
- Test.Tasty.QuickCheck: discard :: () => a
+ Test.Tasty.QuickCheck: discard :: a
- Test.Tasty.QuickCheck: elements :: () => [a] -> Gen a
+ Test.Tasty.QuickCheck: elements :: [a] -> Gen a
- Test.Tasty.QuickCheck: frequency :: () => [(Int, Gen a)] -> Gen a
+ Test.Tasty.QuickCheck: frequency :: [(Int, Gen a)] -> Gen a
- Test.Tasty.QuickCheck: functionVoid :: () => (forall b. () => void -> b) -> void :-> c
+ Test.Tasty.QuickCheck: functionVoid :: (forall b. () => void -> b) -> void :-> c
- Test.Tasty.QuickCheck: generate :: () => Gen a -> IO a
+ Test.Tasty.QuickCheck: generate :: Gen a -> IO a
- Test.Tasty.QuickCheck: growingElements :: () => [a] -> Gen a
+ Test.Tasty.QuickCheck: growingElements :: [a] -> Gen a
- Test.Tasty.QuickCheck: infiniteListOf :: () => Gen a -> Gen [a]
+ Test.Tasty.QuickCheck: infiniteListOf :: Gen a -> Gen [a]
- Test.Tasty.QuickCheck: listOf :: () => Gen a -> Gen [a]
+ Test.Tasty.QuickCheck: listOf :: Gen a -> Gen [a]
- Test.Tasty.QuickCheck: listOf1 :: () => Gen a -> Gen [a]
+ Test.Tasty.QuickCheck: listOf1 :: Gen a -> Gen [a]
- Test.Tasty.QuickCheck: oneof :: () => [Gen a] -> Gen a
+ Test.Tasty.QuickCheck: oneof :: [Gen a] -> Gen a
- Test.Tasty.QuickCheck: pattern NoExpectedFailure :: () => () => Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result
+ Test.Tasty.QuickCheck: pattern GaveUp :: () => Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result
- Test.Tasty.QuickCheck: resize :: () => Int -> Gen a -> Gen a
+ Test.Tasty.QuickCheck: resize :: Int -> Gen a -> Gen a
- Test.Tasty.QuickCheck: sample' :: () => Gen a -> IO [a]
+ Test.Tasty.QuickCheck: sample' :: Gen a -> IO [a]
- Test.Tasty.QuickCheck: scale :: () => (Int -> Int) -> Gen a -> Gen a
+ Test.Tasty.QuickCheck: scale :: (Int -> Int) -> Gen a -> Gen a
- Test.Tasty.QuickCheck: shrinkList :: () => (a -> [a]) -> [a] -> [[a]]
+ Test.Tasty.QuickCheck: shrinkList :: (a -> [a]) -> [a] -> [[a]]
- Test.Tasty.QuickCheck: shrinkMapBy :: () => (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]
+ Test.Tasty.QuickCheck: shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]
- Test.Tasty.QuickCheck: shrinkNothing :: () => a -> [a]
+ Test.Tasty.QuickCheck: shrinkNothing :: a -> [a]
- Test.Tasty.QuickCheck: shuffle :: () => [a] -> Gen [a]
+ Test.Tasty.QuickCheck: shuffle :: [a] -> Gen [a]
- Test.Tasty.QuickCheck: sized :: () => (Int -> Gen a) -> Gen a
+ Test.Tasty.QuickCheck: sized :: (Int -> Gen a) -> Gen a
- Test.Tasty.QuickCheck: sublistOf :: () => [a] -> Gen [a]
+ Test.Tasty.QuickCheck: sublistOf :: [a] -> Gen [a]
- Test.Tasty.QuickCheck: suchThat :: () => Gen a -> (a -> Bool) -> Gen a
+ Test.Tasty.QuickCheck: suchThat :: Gen a -> (a -> Bool) -> Gen a
- Test.Tasty.QuickCheck: suchThatMap :: () => Gen a -> (a -> Maybe b) -> Gen b
+ Test.Tasty.QuickCheck: suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b
- Test.Tasty.QuickCheck: suchThatMaybe :: () => Gen a -> (a -> Bool) -> Gen (Maybe a)
+ Test.Tasty.QuickCheck: suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)
- Test.Tasty.QuickCheck: vectorOf :: () => Int -> Gen a -> Gen [a]
+ Test.Tasty.QuickCheck: vectorOf :: Int -> Gen a -> Gen [a]
Files
- CHANGELOG.md +15/−0
- Test/Tasty/QuickCheck.hs +7/−7
- tasty-quickcheck.cabal +5/−3
- tests/test.hs +0/−3
CHANGELOG.md view
@@ -1,6 +1,21 @@ Changes ======= +Version 0.10.1.2+----------------++The only point of this release is to introduce compatibility with GHCs back to 7.0+(see https://github.com/feuerbach/tasty/pull/287).++Note, however, that these changes are not merged to the master branch, and the+future releases will only support the GHC/base versions from the last 5 years,+as per our usual policy. To test with even older GHCs, you'll have to use this+particular version of tasty-quickcheck (or have the constraint solver pick it+for you when testing with older GHCs).++The source of this release is in the `support-old-ghcs` branch of the tasty+repository.+ Version 0.10.1.1 ----------------
Test/Tasty/QuickCheck.hs view
@@ -45,16 +45,16 @@ , verboseCheckAll ) -import Data.Typeable+import Data.Proxy (Proxy(..))+import Data.Typeable (Typeable) import Data.List import Text.Printf import Test.QuickCheck.Random (mkQCGen) import Options.Applicative (metavar) import System.Random (getStdRandom, randomR)-#if !MIN_VERSION_base(4,8,0)+#if !MIN_VERSION_base(4,9,0) import Control.Applicative import Data.Monoid-import Data.Proxy #endif newtype QC = QC QC.Property@@ -74,7 +74,7 @@ -- | Number of test cases for QuickCheck to generate newtype QuickCheckTests = QuickCheckTests Int- deriving (Num, Ord, Eq, Real, Enum, Integral, Typeable)+ deriving (Num, Ord, Eq, Real, Enum, Integral, Show, Typeable) newtype QuickCheckReplay = QuickCheckReplay (Maybe Int) deriving (Typeable)@@ -85,11 +85,11 @@ -- | Size of the biggest test cases newtype QuickCheckMaxSize = QuickCheckMaxSize Int- deriving (Num, Ord, Eq, Real, Enum, Integral, Typeable)+ deriving (Num, Ord, Eq, Real, Enum, Integral, Show, Typeable) -- | Maximum number of of discarded tests per successful test before giving up. newtype QuickCheckMaxRatio = QuickCheckMaxRatio Int- deriving (Num, Ord, Eq, Real, Enum, Integral, Typeable)+ deriving (Num, Ord, Eq, Real, Enum, Integral, Show, Typeable) -- | Show the test cases that QuickCheck generates newtype QuickCheckVerbose = QuickCheckVerbose Bool@@ -97,7 +97,7 @@ -- | Number of shrinks allowed before QuickCheck will fail a test. newtype QuickCheckMaxShrinks = QuickCheckMaxShrinks Int- deriving (Num, Ord, Eq, Real, Enum, Integral, Typeable)+ deriving (Num, Ord, Eq, Real, Enum, Integral, Show, Typeable) instance IsOption QuickCheckTests where defaultValue = 100
tasty-quickcheck.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: tasty-quickcheck-version: 0.10.1.1+version: 0.10.1.2 synopsis: QuickCheck support for the Tasty test framework. description: QuickCheck support for the Tasty test framework. license: MIT@@ -26,7 +26,7 @@ exposed-modules: Test.Tasty.QuickCheck -- other-modules: other-extensions: GeneralizedNewtypeDeriving, DeriveDataTypeable- build-depends: base == 4.*, tagged, tasty >= 1.0.1, random, QuickCheck >= 2.10,+ build-depends: base >= 4.3 && < 5, tagged, tasty >= 1.0.1, random, QuickCheck >= 2.10, optparse-applicative -- hs-source-dirs:@@ -45,9 +45,11 @@ main-is: test.hs build-depends:- base >= 4 && < 5+ base >= 4.7 && < 5 , tasty , tasty-quickcheck , tasty-hunit , pcre-light ghc-options: -Wall+ if (!impl(ghc >= 8.0) || os(windows))+ buildable: False
tests/test.hs view
@@ -8,9 +8,6 @@ import Data.Maybe import Text.Regex.PCRE.Light.Char8 import Text.Printf-#if !MIN_VERSION_base(4,8,0)-import Data.Monoid (mempty)-#endif (=~), (!~) :: String -- ^ text