type t = string
type level = int
-let loggers = [ "top-down-run";
+let loggers = [ "parsing";
+ "indexing";
+ "top-down-run";
"top-down-approx";
"result-set";
"level2-jit";
pp_close_box ppf ();
fprintf ppf "@?")
ppf fmt
+
+let _verbose = ref false
+let set_verbose b = _verbose := b
+let verbose ppf fmt =
+ if !_verbose then begin
+ pp_open_hovbox ppf 0;
+ kfprintf (fun _ ->
+ pp_close_box ppf ();
+ fprintf ppf "@?")
+ ppf fmt
+ end else
+ ikfprintf (fun _ ->
+ pp_close_box ppf ();
+ fprintf ppf "@?")
+ ppf fmt