on master help sign in
Fix the easier of the QuickCheck 2.7 breakages :-(
4784419Bryan O'Sullivan
tests/Tests/Properties.hs+1−3
@@ -94,9 +94,7 @@ tl_utf32LE = forAll genUnicode $ (EL.decodeUtf32LE . EL.encodeUtf32LE) `eq` id
94t_utf32BE = forAll genUnicode $ (E.decodeUtf32BE . E.encodeUtf32BE) `eq` id
94t_utf32BE = forAll genUnicode $ (E.decodeUtf32BE . E.encodeUtf32BE) `eq` id
95tl_utf32BE = forAll genUnicode $ (EL.decodeUtf32BE . EL.encodeUtf32BE) `eq` id
95tl_utf32BE = forAll genUnicode $ (EL.decodeUtf32BE . EL.encodeUtf32BE) `eq` id
96
96
97−t_utf8_incr = do
98− Positive n <- arbitrary
99− forAll genUnicode $ recode n `eq` id
97+t_utf8_incr = forAll genUnicode $ \s (Positive n) -> (recode n `eq` id) s
100 where recode n = T.concat . map fst . feedChunksOf n E.streamDecodeUtf8 .
98 where recode n = T.concat . map fst . feedChunksOf n E.streamDecodeUtf8 .
101 E.encodeUtf8
99 E.encodeUtf8
102
100
tests/Tests/QuickCheckUtils.hs+1−1
@@ -47,7 +47,7 @@ import Data.Text.Foreign (I16)
47import Data.Word (Word8, Word16)
47import Data.Word (Word8, Word16)
48import Debug.Trace (trace)
48import Debug.Trace (trace)
49import System.Random (Random (..), RandomGen)
49import System.Random (Random (..), RandomGen)
50−import Test.QuickCheck hiding ((.&.))
50+import Test.QuickCheck hiding (Small (..), (.&.))
51import Test.QuickCheck.Monadic (assert, monadicIO, run)
51import Test.QuickCheck.Monadic (assert, monadicIO, run)
52import Tests.Utils
52import Tests.Utils
53import qualified Data.ByteString as B
53import qualified Data.ByteString as B