283b47d · text · git.iko.soy

git.iko.soy/text

on master help sign in

Add a test for replace.

283b47dBryan O'Sullivan17 years ago

tests/Properties.hs+17−1

compare with master

unifiedsplit

@@ -1,4 +1,4 @@

1−{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}

1+{-# LANGUAGE BangPatterns, FlexibleInstances, TypeSynonymInstances #-}

2{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}

4import Test.QuickCheck

@@ -170,6 +170,21 @@ prop_T_reverse = L.reverse `eqP` (unpackS . T.reverse)

170prop_TL_reverse = L.reverse `eqP` (unpackS . TL.reverse)

171prop_T_reverse_short n = L.reverse `eqP` (unpackS . S.reverse . shorten n . S.stream)

172

173+prop_T_replace s d = (L.intercalate d . split s) `eqP` (unpackS . T.replace (T.pack s) (T.pack d))

174+

175+split :: (Eq a) => [a] -> [a] -> [[a]]

176+split pat src0

177+ | l == 0 = [src0]

178+ | otherwise = go src0

179+ where

180+ l = length pat

181+ go src = search 0 src

182+ where

183+ search !n [] = [src]

184+ search !n s@(_:s')

185+ | pat `L.isPrefixOf` s = take n src : go (drop l s)

186+ | otherwise = search (n+1) s'

187+

173prop_T_foldl f z = L.foldl f z `eqP` (T.foldl f z)

188prop_T_foldl f z = L.foldl f z `eqP` (T.foldl f z)

174 where types = f :: Char -> Char -> Char

189 where types = f :: Char -> Char -> Char

175prop_TL_foldl f z = L.foldl f z `eqP` (TL.foldl f z)

190prop_TL_foldl f z = L.foldl f z `eqP` (TL.foldl f z)

@@ -443,6 +458,7 @@ tests = [

443 ("prop_T_reverse", mytest prop_T_reverse),

458 ("prop_T_reverse", mytest prop_T_reverse),

444 ("prop_TL_reverse", mytest prop_TL_reverse),

459 ("prop_TL_reverse", mytest prop_TL_reverse),

445 ("prop_T_reverse_short", mytest prop_T_reverse_short),

460 ("prop_T_reverse_short", mytest prop_T_reverse_short),

461+ ("prop_T_replace", mytest prop_T_replace),

446

462

447 ("prop_T_foldl", mytest prop_T_foldl),

463 ("prop_T_foldl", mytest prop_T_foldl),

448 ("prop_TL_foldl", mytest prop_TL_foldl),

464 ("prop_TL_foldl", mytest prop_TL_foldl),