(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;
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;
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;
- LOG("res-jit", 3, __ " RES : %a\n\n%!" print slot))
+ LOG(__ "res-jit" 3 "RES : %a" print slot))
module type S =