@@ -84,11 +84,11 @@ words s = map pack $ words' $ unpack s
8484lines' : List Char -> List (List Char)
8585lines' s = case dropWhile isNL s of
8686 [] => []
87− s' => let (w, s'') = break isSpace s'
88− in w :: words' s''
87+ s' => let (w, s'') = break isNL s'
88+ in w :: lines' s''
8989
9090lines : String -> List String
91−lines s = map pack $ words' $ unpack s
91+lines s = map pack $ lines' $ unpack s
9292
9393partial
9494foldr1 : (a -> a -> a) -> List a -> a