projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0e36ecc31c9781886387674bca2aed58a0b4b87d
[SXSI/xpathcomp.git]
/
include
/
trace.ml
1
IFNDEF TRACE__ML__
2
THEN
3
DEFINE TRACE__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 NTRACE
11
THEN
12
13
DEFINE TRACE(t, l, r) =
14
(if l <= Tracer.level t then
15
Tracer.trace t l (r))
16
17
ELSE
18
19
DEFINE TRACE(t, l, r) = ()
20
21
END
22
23
24
25
26
END