Rename 'Tracer' module to 'Logger'.

[SXSI/xpathcomp.git] / include / log.ml

diff --git a/include/log.ml b/include/log.ml
new file mode 100644 (file)
index 0000000..b9ad225
--- /dev/null
+++ b/include/log.ml
@@ -0,0 +1,28 @@
+IFNDEF LOG__ML__
+THEN
+DEFINE LOG__ML__
+let __ x =
+  ignore (Format.flush_str_formatter());
+  Format.kfprintf
+    (fun _ -> Format.flush_str_formatter())
+    Format.str_formatter x
+;;
+IFNDEF NLOG
+THEN
+
+DEFINE LOG(t, l, r) =
+  (let __log__t = t in
+   let __log__l = l in
+   if __log__l <= Logger.level __log__t then
+     Logger.log __log__t __log__l (r))
+
+ELSE
+
+DEFINE LOG(t, l, r) = ()
+
+END
+
+
+
+
+END