X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2FresJIT.ml;h=215938b417f177b209ace049e322fb066cd941c9;hb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;hp=25502b6a6e3eb5863fc073f7621d76c9d9f88a2a;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;p=SXSI%2Fxpathcomp.git

diff --git a/src/resJIT.ml b/src/resJIT.ml
index 25502b6..215938b 100644
--- a/src/resJIT.ml
+++ b/src/resJIT.ml
@@ -1,6 +1,6 @@
 INCLUDE "debug.ml"
 INCLUDE "utils.ml"
-INCLUDE "trace.ml"
+INCLUDE "log.ml"
 
 open Format
 
@@ -275,7 +275,7 @@ DEFINE EXEC_REC_TEMPLATE =
 	  (match code with
 	  | Nil -> ()
 	  | Cons(dst, opcode, code1) ->
-	    TRACE("res-jit", 3, __ "  %a := %a\n%!"
+	    LOG("res-jit", 3, __ "  %a := %a\n%!"
 	      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) ->
-	      TRACE("res-jit", 3, __ "  %a := %a\n%!"
+	      LOG("res-jit", 3, __ "  %a := %a\n%!"
 		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 =
-(*	  (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, __ " RIGHT : %a\n" pr_slot slot2); *)
+	  (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);
 	   exec slot slot1 slot2 t code;
-(*	   TRACE("res-jit", 3, __ " RES   : %a\n\n%!" pr_slot slot))*)
+	   LOG("res-jit", 3, __ " RES   : %a\n\n%!" print slot))
 
 
 module type S =