git.iko.soy/text
on master help sign in
Make some tests scale more acceptably.
ed96cf4Bryan O'Sullivan
tests/Properties.hs+4−4
compare with master
unifiedsplit
@@ -259,13 +259,13 @@ prop_TL_scanr f z = L.scanr f z `eqP` (unpackS . TL.scanr f z)
259prop_T_scanr1 f = L.scanr1 f `eqP` (unpackS . T.scanr1 f)
259prop_T_scanr1 f = L.scanr1 f `eqP` (unpackS . T.scanr1 f)
260prop_TL_scanr1 f = L.scanr1 f `eqP` (unpackS . TL.scanr1 f)
260prop_TL_scanr1 f = L.scanr1 f `eqP` (unpackS . TL.scanr1 f)
261
261
262−prop_T_mapAccumL f z = L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z)
262+prop_T_mapAccumL f z = unsquare (L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z))
263 where types = f :: Int -> Char -> (Int,Char)
263 where types = f :: Int -> Char -> (Int,Char)
264−prop_TL_mapAccumL f z = L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z)
264+prop_TL_mapAccumL f z = unsquare (L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z))
265 where types = f :: Int -> Char -> (Int,Char)
265 where types = f :: Int -> Char -> (Int,Char)
266−prop_T_mapAccumR f z = L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z)
266+prop_T_mapAccumR f z = unsquare (L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z))
267 where types = f :: Int -> Char -> (Int,Char)
267 where types = f :: Int -> Char -> (Int,Char)
268−prop_TL_mapAccumR f z = L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z)
268+prop_TL_mapAccumR f z = unsquare (L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z))
269 where types = f :: Int -> Char -> (Int,Char)
269 where types = f :: Int -> Char -> (Int,Char)
270
270
271prop_T_replicate n = L.replicate n `eq` (unpackS . T.replicate n)
271prop_T_replicate n = L.replicate n `eq` (unpackS . T.replicate n)