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/Interpreter.ml | |
parent | e2d71a7b813ed2fe86800f6638c4cd941991aaac (diff) |
Make more modifications to logging
Diffstat (limited to '')
-rw-r--r-- | src/Interpreter.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 9ac8149b..b938fe90 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -21,6 +21,9 @@ open InterpreterStatements (* TODO: remove the config parameters when they are useless *) +(** The local logger *) +let log = L.interpreter_log + module Test = struct let initialize_context (type_context : C.type_context) (fun_defs : A.fun_def list) (type_vars : T.type_var list) : C.eval_ctx = @@ -126,7 +129,7 @@ module Test = struct let fdef = A.FunDefId.nth fun_defs fid in (* Debug *) - L.log#ldebug + log#ldebug (lazy ("test_unit_function: " ^ Print.Types.name_to_string fdef.A.name)); (* Sanity check - *) @@ -177,7 +180,7 @@ module Test = struct let fdef = A.FunDefId.nth fun_defs fid in (* Debug *) - L.log#ldebug + log#ldebug (lazy ("test_function_symbolic: " ^ Print.Types.name_to_string fdef.A.name)); |