@@ -282,6 +282,7 @@ prop_T_breakSubstringC c
282 (unpack2 . T.breakSubstring (T.singleton c))
282 (unpack2 . T.breakSubstring (T.singleton c))
284prop_T_lines = L.lines `eqP` (map unpackT . T.lines)
284prop_T_lines = L.lines `eqP` (map unpackT . T.lines)
285+prop_TL_lines = L.lines `eqP` (map unpackT . TL.lines)
286prop_T_lines' = lines' `eqP` (map unpackT . T.lines')
287prop_T_lines' = lines' `eqP` (map unpackT . T.lines')
287 where lines' "" = []
288 where lines' "" = []
@@ -484,6 +485,7 @@ tests = [
484 ("prop_T_breakSubstring_isInfixOf", mytest prop_T_breakSubstring_isInfixOf),
485 ("prop_T_breakSubstring_isInfixOf", mytest prop_T_breakSubstring_isInfixOf),
486 ("prop_T_lines", mytest prop_T_lines),
487 ("prop_T_lines", mytest prop_T_lines),
488+ ("prop_TL_lines", mytest prop_TL_lines),
487--("prop_T_lines'", mytest prop_T_lines'),
489--("prop_T_lines'", mytest prop_T_lines'),
488 ("prop_T_words", mytest prop_T_words),
490 ("prop_T_words", mytest prop_T_words),
489 ("prop_T_unlines", mytest prop_T_unlines),
491 ("prop_T_unlines", mytest prop_T_unlines),