debug.ml

   1 (******************************************************************************)
   2 (*  SXSI : XPath evaluator                                                    *)
   3 (*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
   4 (*  Copyright NICTA 2008                                                      *)
   5 (*  Distributed under the terms of the LGPL (see LICENCE)                     *)
   6 (******************************************************************************)
   7
   8 (* This file should not be compiled but included with INCLUDE. This requires
   9    pa_macro.cmo to be loaded (see Makefile)
  10 *)
  11
  12 IFNDEF DEBUG__ML__
  13 THEN
  14 DEFINE DEBUG__ML__
  15
  16 IFDEF DEBUG
  17 THEN
  18 module Loc = Camlp4.PreCast.Loc
  19
  20
  21 DEFINE D(x) = ignore(x);
  22 DEFINE MM(v,l) = (let ____x = v in (Memory.register ____x (Loc.to_string (l)));____x)
  23 let () = Memory.schedule_stats ()
  24
  25
  26 ELSE
  27
  28 DEFINE D(x) = ();
  29 DEFINE MM(v,l) = (v)
  30
  31 END (* IFDEF DEBUG *)
  32
  33 IFDEF PROFILE
  34 THEN DEFINE P(x) = ignore(x);
  35 ELSE DEFINE P(x) = ();
  36 END (* IFDEF DEBUG *)
  37
  38
  39
  40 END (* IFNDEF DEBUG__ML__ *)