include/trace.ml

   1 IFNDEF TRACE__ML__
   2 THEN
   3 DEFINE TRACE__ML__
   4 module Loc = Camlp4.PreCast.Loc
   5 let __ x =
   6   ignore (Format.flush_str_formatter());
   7   Format.kfprintf
   8     (fun _ -> Format.flush_str_formatter())
   9     Format.str_formatter x
  10 ;;
  11 IFNDEF NTRACE
  12 THEN
  13
  14 DEFINE TRACE(t, l, r) =
  15   (if l <= Tracer.level t then
  16       Tracer.trace t l (r))
  17
  18 ELSE
  19
  20 DEFINE TRACE(t, l, r) = ()
  21
  22 END
  23
  24
  25
  26
  27 END