diff options
Diffstat (limited to '2024/ocaml/lib/file')
| -rw-r--r-- | 2024/ocaml/lib/file/read_input.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/2024/ocaml/lib/file/read_input.ml b/2024/ocaml/lib/file/read_input.ml deleted file mode 100644 index 0f7470b..0000000 --- a/2024/ocaml/lib/file/read_input.ml +++ /dev/null @@ -1,11 +0,0 @@ -let rec lines_from_channel ic = - try - let line = input_line ic in - line :: lines_from_channel ic - with End_of_file -> [] - -let lines_from_file filename = - let channel = open_in filename in - let lines = lines_from_channel channel in - close_in channel; - lines |