projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
b9ad225ee69ff9ecd7c8986c5c885d15bb68d813
[SXSI/xpathcomp.git]
/
include
/
log.ml
1
IFNDEF LOG__ML__
2
THEN
3
DEFINE LOG__ML__
4
let __ x =
5
ignore (Format.flush_str_formatter());
6
Format.kfprintf
7
(fun _ -> Format.flush_str_formatter())
8
Format.str_formatter x
9
;;
10
IFNDEF NLOG
11
THEN
12
13
DEFINE LOG(t, l, r) =
14
(let __log__t = t in
15
let __log__l = l in
16
if __log__l <= Logger.level __log__t then
17
Logger.log __log__t __log__l (r))
18
19
ELSE
20
21
DEFINE LOG(t, l, r) = ()
22
23
END
24
25
26
27
28
END