checkers 0.3.2 → 0.4.0

raw patch · 3 files changed

+10/−8 lines, 3 filesdep ~QuickCheck

Dependency ranges changed: QuickCheck

Files

checkers.cabal +2/−2
src/Test/QuickCheck/Checkers.hs +7/−5
src/Test/QuickCheck/Instances/List.hs +1/−1

checkers.cabal view

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.3.2+Version:             0.4.0 Cabal-Version:       >= 1.6 Synopsis:            Check properties on standard classes and data structures. Category:            Testing@@ -27,7 +27,7 @@ Library   hs-Source-Dirs:      src   Extensions:-  Build-Depends:       base < 5, random, QuickCheck>=2.3 && <2.7, array >= 0.1+  Build-Depends:       base < 5, random, QuickCheck>=2.3 && <2.8, array >= 0.1   Exposed-Modules:                             Test.QuickCheck.Utils                        Test.QuickCheck.Checkers

src/Test/QuickCheck/Checkers.hs view

@@ -51,7 +51,8 @@ import qualified Control.Exception as Ex import Data.List (foldl') import System.Random-import Test.QuickCheck+import Test.QuickCheck hiding (generate)+import Test.QuickCheck.Random (QCGen, newQCGen) -- import System.IO.Unsafe  import Test.QuickCheck.Gen      (Gen (..)) -- for rand@@ -442,12 +443,13 @@  -- | Generate n arbitrary values arbs :: Arbitrary a => Int -> IO [a]-arbs n = fmap (\ rnd -> generate n rnd (vector n)) newStdGen +arbs n = fmap (\ rnd -> generate n rnd (vector n)) newQCGen+ -- | Produce n values from a generator gens :: Int -> Gen a -> IO [a] gens n gen =-  fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newStdGen+  fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newQCGen  -- The next two are from twanvl: @@ -500,10 +502,10 @@  -- TODO: are there QC2 replacements for these QC1 operations? -rand :: Gen StdGen+rand :: Gen QCGen rand = MkGen (\r _ -> r) -generate :: Int -> StdGen -> Gen a -> a+generate :: Int -> QCGen -> Gen a -> a generate n rnd (MkGen m) = m rnd' size  where   (size, rnd') = randomR (0, n) rnd

src/Test/QuickCheck/Instances/List.hs view

@@ -8,7 +8,7 @@        ,decreasingInf,nonincreasingInf        ) where -import Test.QuickCheck+import Test.QuickCheck hiding (infiniteList) import Test.QuickCheck.Instances.Num import Control.Applicative