@@ -1,65 +0,0 @@
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−