include/trace.ml

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