Fix readFile implementation
commitd2074d82dfbb41a6728fcfab025fa6f9bf51f688
authorMort Yao <mort.yao@gmail.com>
dateTue 14 Apr 2015, 15:09 (12 years ago)
parentc784840
libs/prelude/Prelude.idr+3−1
@@ -545,5 +545,7 @@ readFile fn = do h <- openFile fn Read
545545 readFile' h contents =
546546 do x <- feof h
547547 if not x then do l <- fread h
548− readFile' h (contents ++ l)
548+ case contents of
549+ "" => readFile' h l
550+ _ => readFile' h (contents ++ "\n" ++ l)
549551 else return contents