From dbbb01630190d999d3932fabd8a181b4f826f64f Mon Sep 17 00:00:00 2001 From: Son Ho Date: Fri, 7 Jan 2022 11:00:05 +0100 Subject: Improve logging and introduce eval_operands_prepare --- src/Logging.ml | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src/Logging.ml') diff --git a/src/Logging.ml b/src/Logging.ml index a1060014..ccf63d0d 100644 --- a/src/Logging.ml +++ b/src/Logging.ml @@ -3,8 +3,21 @@ module L = Easy_logging.Logging let _ = L.make_logger "MainLogger" Debug [ Cli Debug ] +(** The main logger *) let log = L.get_logger "MainLogger" +(** Below, we create subgloggers for various submodules, so that we can precisely + toggle logging on/off, depending on which information we need *) + +(** Logger for InterpreterStatements *) +let statements_log = L.get_logger "MainLogger.Statements" + +(** Logger for InterpreterExpansion *) +let expansion_log = L.get_logger "MainLogger.Statements.Expansion" + +(** Logger for InterpreterExpressions *) +let expressions_log = L.get_logger "MainLogger.Statements.Expressions" + (** Terminal colors - TODO: comes from easy_logging (did not manage to reuse the module directly) *) type color = | Default -- cgit v1.2.3