From e1cc1d38586c902ebd7644dcbe1521c65742e8fa Mon Sep 17 00:00:00 2001 From: Guillaume Date: Fri, 13 Mar 2026 18:38:38 +0100 Subject: [PATCH] Load log into an string array --- bin/dune | 2 +- bin/inspector.ml | 10 ++++++++++ bin/main.ml | 1 - 3 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 bin/inspector.ml delete mode 100644 bin/main.ml diff --git a/bin/dune b/bin/dune index 69dd4ad..6ed8299 100644 --- a/bin/dune +++ b/bin/dune @@ -1,2 +1,2 @@ (executable - (name main)) + (name inspector)) diff --git a/bin/inspector.ml b/bin/inspector.ml new file mode 100644 index 0000000..3a7dbe0 --- /dev/null +++ b/bin/inspector.ml @@ -0,0 +1,10 @@ +let load_lines filename = + In_channel.with_open_text filename In_channel.input_lines |> Array.of_list + +let () = + if Array.length Sys.argv < 2 then ( + Printf.eprintf "Usage: %s \n" (Filename.basename Sys.argv.(0)); + exit 1); + + let contents = load_lines Sys.argv.(1) in + Printf.printf "Loaded %d lines\n" (Array.length contents) diff --git a/bin/main.ml b/bin/main.ml deleted file mode 100644 index be5e39e..0000000 --- a/bin/main.ml +++ /dev/null @@ -1 +0,0 @@ -print_endline "Hello"