From fcf2c0388deecde71c71c519eb0b62057c8784a6 Mon Sep 17 00:00:00 2001
From: Hyeonung Baek <wiserlix@gmail.com>
Date: Fri, 11 Feb 2022 15:05:21 +0900
Subject: [PATCH] Add --debug flag

---
 main.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/main.ml b/main.ml
index 77b6a10..d5f4875 100644
--- a/main.ml
+++ b/main.ml
@@ -62,7 +62,12 @@ let rec repl env : unit =
   | Reset_line -> printf "\n"; repl env
   | e -> print_error e; repl env
 
+let speclist = [
+  "--debug", Arg.Set debug, "print debug infos";
+]
+
 let () =
+  Arg.parse speclist (fun _ -> ()) "";
   init_repl ();
   printf "Configurable Evaluator %s\n" version; (* banner *)
   repl g