@@ -299,6 +299,8 @@ prop_T_tails = L.tails `eqP` (map unpackS . T.tails)
299299prop_TL_tails = L.tails `eqP` (map unpackS . TL.tails)
300300
301301prop_T_split_i t = id `eq` (T.intercalate t . T.split t)
302+prop_T_splitTimes_i k t= id `eq` (T.intercalate t . T.splitTimes k t)
303+prop_T_splitTimesEnd_i k t = id `eq` (T.intercalate t . T.splitTimesEnd k t)
302304prop_T_splitChar_i c = id `eq` (T.intercalate (T.singleton c) . T.splitChar c)
303305prop_TL_split_i c = id `eq` (TL.intercalate (TL.singleton c) . TL.split c)
304306
@@ -562,6 +564,8 @@ tests = [
562564 ("prop_TL_tails", mytest prop_TL_tails),
563565
564566 ("prop_T_split_i", mytest prop_T_split_i),
567+ ("prop_T_splitTimes_i", mytest prop_T_splitTimes_i),
568+ ("prop_T_splitTimesEnd_i", mytest prop_T_splitTimesEnd_i),
565569 ("prop_T_splitChar_i", mytest prop_T_splitChar_i),
566570 ("prop_TL_split_i", mytest prop_TL_split_i),
567571 ("prop_T_splitWith", mytest prop_T_splitWith),