X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=debug.ml;h=7ae4e753772efc1ccf76bbf699464b91fcea859f;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=1a1b3b33170bdb90e1cd0f9151281edf8cc43edf;hpb=3623eefccfb5fc69e19ad975a3669f51a2a8b276;p=SXSI%2Fxpathcomp.git

diff --git a/debug.ml b/debug.ml
index 1a1b3b3..7ae4e75 100644
--- a/debug.ml
+++ b/debug.ml
@@ -17,23 +17,14 @@ IFDEF DEBUG
 THEN 
 module Loc = Camlp4.PreCast.Loc
 
-
-DEFINE D(x) = ignore(x);
-
-DEFINE MM(v,l) = Memory.register v (Loc.to_string (l))
-let () = Memory.schedule_stats ()
-
+DEFINE D_IGNORE_(e1,e2) = (let () = e1 in ();e2)
+DEFINE D_IF_(e1,e2) = e1
 
 ELSE
+DEFINE D_IGNORE_(e1,e2) = (e2)
 
-DEFINE D(x) = ();
-DEFINE MM(v,l) = ()
-
-END (* IFDEF DEBUG *)
+DEFINE D_IF_(e1,e2) = e2
 
-IFDEF PROFILE
-THEN DEFINE P(x) = ignore(x);
-ELSE DEFINE P(x) = ();
 END (* IFDEF DEBUG *)