projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change the logging infrastructure:
[SXSI/xpathcomp.git]
/
src
/
resJIT.ml
diff --git
a/src/resJIT.ml
b/src/resJIT.ml
index
215938b
..
1c32357
100644
(file)
--- a/
src/resJIT.ml
+++ b/
src/resJIT.ml
@@
-275,7
+275,7
@@
DEFINE EXEC_REC_TEMPLATE =
(match code with
| Nil -> ()
| Cons(dst, opcode, code1) ->
(match code with
| Nil -> ()
| Cons(dst, opcode, code1) ->
- LOG(
"res-jit", 3, __ " %a := %a\n%!
"
+ LOG(
__ "res-jit" 3 " %a := %a
"
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
@@
-283,7
+283,7
@@
DEFINE EXEC_REC_TEMPLATE =
match code1 with
| Nil -> ()
| Cons(dst, opcode, code1) ->
match code1 with
| Nil -> ()
| Cons(dst, opcode, code1) ->
- LOG(
"res-jit", 3, __ " %a := %a\n%!
"
+ LOG(
__ "res-jit" 3 " %a := %a
"
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
@@
-292,11
+292,11
@@
DEFINE EXEC_REC_TEMPLATE =
end)
DEFINE EXEC_TEMPLATE =
end)
DEFINE EXEC_TEMPLATE =
- (LOG(
"res-jit", 3, __ "Node %i:\n" (Node.to_int t));
- LOG("res-jit", 3, __ " LEFT : %a\n" print slot1);
-
LOG("res-jit", 3, __ " RIGHT : %a\n" print slot2
);
+ (LOG(
__ "res-jit" 3 "Node %i:@\nLEFT : %a@\nRIGHT : %a"
+ (Node.to_int t) print slot1 print slot2
+ );
exec slot slot1 slot2 t code;
exec slot slot1 slot2 t code;
- LOG(
"res-jit", 3, __ " RES : %a\n\n%!
" print slot))
+ LOG(
__ "res-jit" 3 "RES : %a
" print slot))
module type S =
module type S =