@@ -299,8 +299,10 @@ 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)
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
303304prop_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
304306prop_TL_split_i c = id `eq` (TL.intercalate (TL.singleton c) . TL.split c)
305307
306308prop_T_splitWith p = splitWith p `eqP` (map unpackS . T.splitWith p)
@@ -566,7 +568,9 @@ tests = [
566568
567569 ("prop_T_split_i", mytest prop_T_split_i),
568570 ("prop_T_splitTimes_i", mytest prop_T_splitTimes_i),
571+ ("prop_T_splitTimes_split", mytest prop_T_splitTimes_split),
569572 ("prop_T_splitTimesEnd_i", mytest prop_T_splitTimesEnd_i),
573+ ("prop_T_splitTimesEnd_split", mytest prop_T_splitTimesEnd_split),
570574 ("prop_TL_split_i", mytest prop_TL_split_i),
571575 ("prop_T_splitWith", mytest prop_T_splitWith),
572576 ("prop_T_splitWith_count", mytest prop_T_splitWith_count),