diff --git a/stdlib/io.krak b/stdlib/io.krak index 9e826c5..fa5487e 100644 --- a/stdlib/io.krak +++ b/stdlib/io.krak @@ -18,7 +18,10 @@ fun get_line(line_size: int): str::str return get_line(line_size, stdin) fun get_line(line_size: int, file: *void): str::str { var buff = new(line_size) - fgets(buff, line_size, file) + if fgets(buff, line_size, file) == null() { + delete(buff) + return str::str("***EOF***") + } var to_ret = str::str(buff) delete(buff) return to_ret.slice(0,-2) // remove '\n'