on master help sign in
Make some tests scale more acceptably.

--HG-- extra : convert_revision : db869792ac251b2e6944a0abc2a1b0cc304effb1

commited96cf4bdfb7e9d06366e62dfdbf4241d692070b authorBryan O'Sullivan <bos@serpentine.com> dateSat 15 Aug 2009, 04:42 (17 years ago) parent29ba0ab
1 file changed+4−4
tests/Properties.hs+4−4
tests/Properties.hs+4−4
@@ -259,13 +259,13 @@ prop_TL_scanr f z = L.scanr f z `eqP` (unpackS . TL.scanr f z)
259259prop_T_scanr1 f = L.scanr1 f `eqP` (unpackS . T.scanr1 f)
260260prop_TL_scanr1 f = L.scanr1 f `eqP` (unpackS . TL.scanr1 f)
261261
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))
263263 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))
265265 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))
267267 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))
269269 where types = f :: Int -> Char -> (Int,Char)
270270
271271prop_T_replicate n = L.replicate n `eq` (unpackS . T.replicate n)