diff options
author | Son Ho | 2022-01-07 13:55:16 +0100 |
---|---|---|
committer | Son Ho | 2022-01-07 13:55:16 +0100 |
commit | 2ee5357216cc5a620dbe6d091b0081d419951a4e (patch) | |
tree | 2d90296e1e4310d7c71ccaf6fc75b21475c8a3f5 /src/main.ml | |
parent | e2d71a7b813ed2fe86800f6638c4cd941991aaac (diff) |
Make more modifications to logging
Diffstat (limited to '')
-rw-r--r-- | src/main.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main.ml b/src/main.ml index da1b333e..da0b4a0a 100644 --- a/src/main.ml +++ b/src/main.ml @@ -42,6 +42,9 @@ let () = exit 1); (* Set up the logging - for now we use default values - TODO: use the * command-line arguments *) + Easy_logging.Handlers.set_level main_logger_handler EL.Debug; + main_log#set_level EL.Debug; + interpreter_log#set_level EL.Debug; statements_log#set_level EL.Debug; expressions_log#set_level EL.Warning; expansion_log#set_level EL.Debug; @@ -50,10 +53,10 @@ let () = (* Load the module *) let json = Yojson.Basic.from_file !filename in match cfim_module_of_json json with - | Error s -> log#error "error: %s\n" s + | Error s -> main_log#error "error: %s\n" s | Ok m -> (* Print the module *) - log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n")); + main_log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n")); (* Test the unit functions with the concrete interpreter *) I.Test.test_unit_functions m.types m.functions; |