projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add tracing infrastructure.
[SXSI/xpathcomp.git]
/
include
/
trace.ml
1
IFNDEF TRACE__ML__
2
THEN
3
DEFINE TRACE__ML__
4
5
let __ x =
6
ignore (Format.flush_str_formatter());
7
Format.kfprintf
8
(fun _ -> Format.flush_str_formatter())
9
Format.str_formatter x
10
;;
11
IFNDEF NTRACE
12
THEN
13
14
DEFINE TRACE(t, l, r) =
15
(if l <= Tracer.level t then
16
Tracer.trace t l (r))
17
18
ELSE
19
20
DEFINE TRACE(t, l, r) = ()
21
22
END
23
24
25
26
27
END