on 869c80a help sign in
stackage/patching/patches/checkers-0.3.2.patch
65 lines 2.4 kB history raw
1diff -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
13diff -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
25 import Test.QuickCheck.Gen (Gen (..)) -- for rand
26@@ -442,12 +443,12 @@
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]
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
39 -- The next two are from twanvl:
41@@ -500,10 +501,10 @@
43 -- TODO: are there QC2 replacements for these QC1 operations?
45-rand :: Gen StdGen
46+rand :: Gen QCGen
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
52 where
53 (size, rnd') = randomR (0, n) rnd
54diff -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
61-import Test.QuickCheck
62+import Test.QuickCheck hiding (infiniteList)
63 import Test.QuickCheck.Instances.Num
64 import Control.Applicative