@@ -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
4+@@ -27,7 +27,7 @@
5+ Library
6+ hs-Source-Dirs: src
7+ Extensions:
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
10+ Exposed-Modules:
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
16+@@ -51,7 +51,8 @@
17+ import qualified Control.Exception as Ex
18+ import Data.List (foldl')
19+ import System.Random
20+-import Test.QuickCheck
21++import Test.QuickCheck hiding (generate)
22++import Test.QuickCheck.Random (QCGen, newQCGen)
23+ -- import System.IO.Unsafe
24+
25+ import Test.QuickCheck.Gen (Gen (..)) -- for rand
26+@@ -442,12 +443,12 @@
27+
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
32+
33+ -- | Produce n values from a generator
34+ gens :: Int -> Gen a -> IO [a]
35+ gens n gen =
36+- fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newStdGen
37++ fmap (\ rnd -> generate 1000 rnd (sequence (replicate n gen))) newQCGen
38+
39+ -- The next two are from twanvl:
40+
41+@@ -500,10 +501,10 @@
42+
43+ -- TODO: are there QC2 replacements for these QC1 operations?
44+
45+-rand :: Gen StdGen
46++rand :: Gen QCGen
47+ rand = MkGen (\r _ -> r)
48+
49+-generate :: Int -> StdGen -> Gen a -> a
50++generate :: Int -> QCGen -> Gen a -> a
51+ generate n rnd (MkGen m) = m rnd' size
52+ where
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
57+@@ -8,7 +8,7 @@
58+ ,decreasingInf,nonincreasingInf
59+ ) where
60+
61+-import Test.QuickCheck
62++import Test.QuickCheck hiding (infiniteList)
63+ import Test.QuickCheck.Instances.Num
64+ import Control.Applicative
65+