projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Temporary commit
[SXSI/xpathcomp.git]
/
src
/
resJIT.ml
diff --git
a/src/resJIT.ml
b/src/resJIT.ml
index
64c9624
..
25502b6
100644
(file)
--- a/
src/resJIT.ml
+++ b/
src/resJIT.ml
@@
-292,11
+292,11
@@
DEFINE EXEC_REC_TEMPLATE =
end)
DEFINE EXEC_TEMPLATE =
end)
DEFINE EXEC_TEMPLATE =
-
(TRACE("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
+
(*
(TRACE("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
TRACE("res-jit", 3, __ " LEFT : %a\n" pr_slot slot1);
TRACE("res-jit", 3, __ " LEFT : %a\n" pr_slot slot1);
- TRACE("res-jit", 3, __ " RIGHT : %a\n" pr_slot slot2);
+ TRACE("res-jit", 3, __ " RIGHT : %a\n" pr_slot slot2);
*)
exec slot slot1 slot2 t code;
exec slot slot1 slot2 t code;
-
TRACE("res-jit", 3, __ " RES : %a\n\n%!" pr_slot slot)
)
+
(* TRACE("res-jit", 3, __ " RES : %a\n\n%!" pr_slot slot))*
)
module type S =
module type S =