@@ -0,0 +1,65 @@
1+diff -ru orig/checkers.cabal new/checkers.cabal
2+--- orig/checkers.cabal 2014-06-10 13:09:03.522534168 +0300
3++++ new/checkers.cabal 2014-06-10 13:09:03.000000000 +0300
8+- Build-Depends: base < 5, random, QuickCheck>=2.3 && <2.7, array >= 0.1
9++ Build-Depends: base < 5, random, QuickCheck>=2.3 && <2.8, array >= 0.1
11+ Test.QuickCheck.Utils
12+ Test.QuickCheck.Checkers
13+diff -ru orig/src/Test/QuickCheck/Checkers.hs new/src/Test/QuickCheck/Checkers.hs
14+--- orig/src/Test/QuickCheck/Checkers.hs 2014-06-10 13:09:03.518534168 +0300
15++++ new/src/Test/QuickCheck/Checkers.hs 2014-06-10 13:09:03.000000000 +0300
17+ import qualified Control.Exception as Ex
18+ import Data.List (foldl')
20+-import Test.QuickCheck
21++import Test.QuickCheck hiding (generate)
22++import Test.QuickCheck.Random (QCGen, newQCGen)
23+ -- import System.IO.Unsafe
25+ import Test.QuickCheck.Gen (Gen (..)) -- for rand
28+ -- | Generate n arbitrary values
29+ arbs :: Arbitrary a => Int -> IO [a]
30+-arbs n = fmap (\ rnd -> generate n rnd (vector n)) newStdGen
31++arbs n = fmap (\ rnd -> generate n rnd (vector n)) newQCGen
33+ -- | Produce n values from a generator
34+ gens :: Int -> Gen a -> IO [a]
36+- fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newStdGen
37++ fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newQCGen
39+ -- The next two are from twanvl:
43+ -- TODO: are there QC2 replacements for these QC1 operations?
47+ rand = MkGen (\r _ -> r)
49+-generate :: Int -> StdGen -> Gen a -> a
50++generate :: Int -> QCGen -> Gen a -> a
51+ generate n rnd (MkGen m) = m rnd' size
53+ (size, rnd') = randomR (0, n) rnd
54+diff -ru orig/src/Test/QuickCheck/Instances/List.hs new/src/Test/QuickCheck/Instances/List.hs
55+--- orig/src/Test/QuickCheck/Instances/List.hs 2014-06-10 13:09:03.518534168 +0300
56++++ new/src/Test/QuickCheck/Instances/List.hs 2014-06-10 13:09:03.000000000 +0300
58+ ,decreasingInf,nonincreasingInf
61+-import Test.QuickCheck
62++import Test.QuickCheck hiding (infiniteList)
63+ import Test.QuickCheck.Instances.Num
64+ import Control.Applicative