@@ -299,8 +299,10 @@ prop_T_tails = L.tails `eqP` (map unpackS . T.tails)
299prop_TL_tails = L.tails `eqP` (map unpackS . TL.tails)
299prop_TL_tails = L.tails `eqP` (map unpackS . TL.tails)
301prop_T_split_i t = id `eq` (T.intercalate t . T.split t)
301prop_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)
302+prop_T_splitTimes_i k t = id `eq` (T.intercalate t . T.splitTimes k t)
303+prop_T_splitTimes_split t = T.splitTimes maxBound t `eq` T.split t
303prop_T_splitTimesEnd_i k t = id `eq` (T.intercalate t . T.splitTimesEnd k t)
304prop_T_splitTimesEnd_i k t = id `eq` (T.intercalate t . T.splitTimesEnd k t)
305+prop_T_splitTimesEnd_split t = T.splitTimesEnd maxBound t `eq` T.split t
304prop_TL_split_i c = id `eq` (TL.intercalate (TL.singleton c) . TL.split c)
306prop_TL_split_i c = id `eq` (TL.intercalate (TL.singleton c) . TL.split c)
306prop_T_splitWith p = splitWith p `eqP` (map unpackS . T.splitWith p)
308prop_T_splitWith p = splitWith p `eqP` (map unpackS . T.splitWith p)
@@ -566,7 +568,9 @@ tests = [
567 ("prop_T_split_i", mytest prop_T_split_i),
569 ("prop_T_split_i", mytest prop_T_split_i),
568 ("prop_T_splitTimes_i", mytest prop_T_splitTimes_i),
570 ("prop_T_splitTimes_i", mytest prop_T_splitTimes_i),
571+ ("prop_T_splitTimes_split", mytest prop_T_splitTimes_split),
569 ("prop_T_splitTimesEnd_i", mytest prop_T_splitTimesEnd_i),
572 ("prop_T_splitTimesEnd_i", mytest prop_T_splitTimesEnd_i),
573+ ("prop_T_splitTimesEnd_split", mytest prop_T_splitTimesEnd_split),
570 ("prop_TL_split_i", mytest prop_TL_split_i),
574 ("prop_TL_split_i", mytest prop_TL_split_i),
571 ("prop_T_splitWith", mytest prop_T_splitWith),
575 ("prop_T_splitWith", mytest prop_T_splitWith),
572 ("prop_T_splitWith_count", mytest prop_T_splitWith_count),
576 ("prop_T_splitWith_count", mytest prop_T_splitWith_count),