(******************************************************************************) (* SXSI : XPath evaluator *) (* Kim Nguyen (Kim.Nguyen@nicta.com.au) *) (* Copyright NICTA 2008 *) (* Distributed under the terms of the LGPL (see LICENCE) *) (******************************************************************************) (* This file should not be compiled but included with INCLUDE. This requires pa_macro.cmo to be loaded (see Makefile) *) IFNDEF DEBUG__ML__ THEN DEFINE DEBUG__ML__ IFDEF DEBUG THEN module Loc = Camlp4.PreCast.Loc DEFINE D(x) = ignore(x); DEFINE MM(v,l) = (let ____x = v in (Memory.register ____x (Loc.to_string (l)));____x) let () = Memory.schedule_stats () ELSE DEFINE D(x) = (); DEFINE MM(v,l) = (v) END (* IFDEF DEBUG *) IFDEF PROFILE THEN DEFINE P(x) = ignore(x); ELSE DEFINE P(x) = (); END (* IFDEF DEBUG *) END (* IFNDEF DEBUG__ML__ *)