@@ -282,6 +282,7 @@ prop_T_breakSubstringC c
282282 (unpack2 . T.breakSubstring (T.singleton c))
283283
284284prop_T_lines = L.lines `eqP` (map unpackT . T.lines)
285+prop_TL_lines = L.lines `eqP` (map unpackT . TL.lines)
285286{-
286287prop_T_lines' = lines' `eqP` (map unpackT . T.lines')
287288 where lines' "" = []
@@ -484,6 +485,7 @@ tests = [
484485 ("prop_T_breakSubstring_isInfixOf", mytest prop_T_breakSubstring_isInfixOf),
485486
486487 ("prop_T_lines", mytest prop_T_lines),
488+ ("prop_TL_lines", mytest prop_TL_lines),
487489--("prop_T_lines'", mytest prop_T_lines'),
488490 ("prop_T_words", mytest prop_T_words),
489491 ("prop_T_unlines", mytest prop_T_unlines),