summaryrefslogtreecommitdiff
path: root/src/Logging.ml
diff options
context:
space:
mode:
authorSon Ho2022-02-08 19:18:57 +0100
committerSon Ho2022-02-08 19:18:57 +0100
commitd54b36be3d365b1a9a4ec8b12313b84c508ecd98 (patch)
tree630ce2bc2444af84821364275291c8f0218a3e58 /src/Logging.ml
parent2145c29ba8d7727f104da83c6be57bf2f3f408d5 (diff)
Implement pre-passes to update the AST before executing the interpreter
Diffstat (limited to '')
-rw-r--r--src/Logging.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Logging.ml b/src/Logging.ml
index 5605772d..f4fa9309 100644
--- a/src/Logging.ml
+++ b/src/Logging.ml
@@ -9,6 +9,9 @@ let main_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 PrePasses *)
+let pre_passes_log = L.get_logger "MainLogger.PrePasses"
+
(** Logger for Translate *)
let translate_log = L.get_logger "MainLogger.Translate"