@@ -84,11 +84,11 @@ words s = map pack $ words' $ unpack s
84lines' : List Char -> List (List Char)
84lines' : List Char -> List (List Char)
85lines' s = case dropWhile isNL s of
85lines' s = case dropWhile isNL s of
87− s' => let (w, s'') = break isSpace s'
87+ s' => let (w, s'') = break isNL s'
88− in w :: words' s''
88+ in w :: lines' s''
90lines : String -> List String
90lines : String -> List String
91−lines s = map pack $ words' $ unpack s
91+lines s = map pack $ lines' $ unpack s
94foldr1 : (a -> a -> a) -> List a -> a
94foldr1 : (a -> a -> a) -> List a -> a