Commit | Line | Data |
---|---|---|
ddcbda00 SK |
1 | let read_until_newline ic () = |
2 | match input_line ic with | |
3 | | exception End_of_file -> | |
4 | None | |
5 | | line -> | |
6 | Some line | |
7 | ||
8 | let read_until_null ic = | |
9 | let lexbuf = Lexing.from_channel ic in | |
10 | fun () -> Input_delim.by_null lexbuf | |
11 | ||
12 | let lines ?(delim_null=false) ic = | |
13 | let reader = | |
14 | if delim_null then | |
15 | read_until_null ic | |
16 | else | |
17 | read_until_newline ic | |
18 | in | |
19 | Stream.create reader |