Add a clean logger infrastructure.

[tatoo.git] / include / debug.ml

diff --git a/include/debug.ml b/include/debug.ml
new file mode 100644 (file)
index 0000000..5a51787
--- /dev/null
+++ b/include/debug.ml
@@ -0,0 +1,13 @@
+IFNDEF DEBUG__ML__
+THEN
+DEFINE DEBUG__ML__
+
+IFDEF DEBUG
+THEN
+  DEFINE DBG(e) = (e)
+ELSE
+  DEFINE DBG(e) = ()
+END
+
+
+END (* IFNDEF DEBUG__ML__ *)