X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FresJIT.ml;h=1c323571d5bf49202266817f8a05dbf21ba35ec6;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=215938b417f177b209ace049e322fb066cd941c9;hpb=468560acb04b8936936080e81152d926c251df30;p=SXSI%2Fxpathcomp.git

diff --git a/src/resJIT.ml b/src/resJIT.ml
index 215938b..1c32357 100644
--- a/src/resJIT.ml
+++ b/src/resJIT.ml
@@ -275,7 +275,7 @@ DEFINE EXEC_REC_TEMPLATE =
 	  (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;
@@ -283,7 +283,7 @@ DEFINE EXEC_REC_TEMPLATE =
 	      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;
@@ -292,11 +292,11 @@ DEFINE EXEC_REC_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;
-	   LOG("res-jit", 3, __ " RES   : %a\n\n%!" print slot))
+	   LOG(__ "res-jit"  3  "RES   : %a" print slot))
 
 
 module type S =