projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add an extra parameter to cons so that it does not perform
[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