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