@@ -135,7 +135,6 @@ prop_tails = L.tails `eqP` (map unpack . T.tails)
135135
136136prop_split_i c = id `eq` (T.intercalate (T.singleton c) . T.split c)
137137
138−{-
139138prop_splitWith p = splitWith p `eqP` (map unpack . T.splitWith p)
140139
141140splitWith _ "" = []
@@ -152,6 +151,7 @@ prop_breakSubstringC c
152151 (unpack2 . T.breakSubstring (T.singleton c))
153152
154153prop_lines = L.lines `eqP` (map unpack . T.lines)
154+{-
155155prop_lines' = lines' `eqP` (map unpack . T.lines')
156156 where lines' "" = []
157157 lines' s = let (l, s') = break eol s
@@ -160,6 +160,7 @@ prop_lines' = lines' `eqP` (map unpack . T.lines')
160160 ('\r':'\n':s'') -> lines' s''
161161 (_:s'') -> lines' s''
162162 eol c = c == '\r' || c == '\n'
163+-}
163164prop_words = L.words `eqP` (map unpack . T.words)
164165prop_unlines = L.unlines `eq` (unpack . T.unlines . map pack)
165166prop_unwords = L.unwords `eq` (unpack . T.unwords . map pack)
@@ -279,7 +280,7 @@ tests = [
279280 ("prop_breakSubstring_isInfixOf", mytest prop_breakSubstring_isInfixOf),
280281
281282 ("prop_lines", mytest prop_lines),
282− ("prop_lines'", mytest prop_lines'),
283+--("prop_lines'", mytest prop_lines'),
283284 ("prop_words", mytest prop_words),
284285 ("prop_unlines", mytest prop_unlines),
285286 ("prop_unwords", mytest prop_unwords),