Commits

Bryan O'Sullivan  committed 9e1657c

Make some tests scale more acceptably.

  • Participants
  • Parent commits ac53fa5

Comments (0)

Files changed (1)

File tests/Properties.hs

 prop_T_scanr1 f        = L.scanr1 f    `eqP` (unpackS . T.scanr1 f)
 prop_TL_scanr1 f       = L.scanr1 f    `eqP` (unpackS . TL.scanr1 f)
 
-prop_T_mapAccumL f z   = L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z)
+prop_T_mapAccumL f z   = unsquare (L.mapAccumL f z `eqP` (second unpackS . T.mapAccumL f z))
     where types = f :: Int -> Char -> (Int,Char)
-prop_TL_mapAccumL f z  = L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z)
+prop_TL_mapAccumL f z  = unsquare (L.mapAccumL f z `eqP` (second unpackS . TL.mapAccumL f z))
     where types = f :: Int -> Char -> (Int,Char)
-prop_T_mapAccumR f z   = L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z)
+prop_T_mapAccumR f z   = unsquare (L.mapAccumR f z `eqP` (second unpackS . T.mapAccumR f z))
     where types = f :: Int -> Char -> (Int,Char)
-prop_TL_mapAccumR f z   = L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z)
+prop_TL_mapAccumR f z   = unsquare (L.mapAccumR f z `eqP` (second unpackS . TL.mapAccumR f z))
     where types = f :: Int -> Char -> (Int,Char)
 
 prop_T_replicate n     = L.replicate n `eq` (unpackS . T.replicate n)