@@ -304,6 +304,7 @@ prop_T_splitTimesEnd_i k t = id `eq` (T.intercalate t . T.splitTimesEnd k t)
304304prop_TL_split_i c = id `eq` (TL.intercalate (TL.singleton c) . TL.split c)
305305
306306prop_T_splitWith p = splitWith p `eqP` (map unpackS . T.splitWith p)
307+prop_T_splitWith_count c = (L.length . T.splitWith (==c)) `eq` ((1+) . T.count c)
307308prop_T_splitWith_split c = T.splitWith (==c) `eq` T.split (T.singleton c)
308309prop_TL_splitWith p = splitWith p `eqP` (map unpackS . TL.splitWith p)
309310
@@ -568,6 +569,7 @@ tests = [
568569 ("prop_T_splitTimesEnd_i", mytest prop_T_splitTimesEnd_i),
569570 ("prop_TL_split_i", mytest prop_TL_split_i),
570571 ("prop_T_splitWith", mytest prop_T_splitWith),
572+ ("prop_T_splitWith_count", mytest prop_T_splitWith_count),
571573 ("prop_T_splitWith_split", mytest prop_T_splitWith_split),
572574 ("prop_TL_splitWith", mytest prop_TL_splitWith),
573575 ("prop_T_chunksOf_same_lengths", mytest prop_T_chunksOf_same_lengths),