diff options
Diffstat (limited to 'src/main.ml')
| -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; |