type t = string
type level = int
-let loggers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit"; "grammar"; "twopass";"transition" ]
+let loggers = [ "parsing";
+ "indexing";
+ "top-down-run";
+ "top-down-approx";
+ "result-set";
+ "level2-jit";
+ "res-jit";
+ "twopass";
+ "transition";
+ "bottom-up" ]
let active_loggers : (t, int) Hashtbl.t = Hashtbl.create 17
let margin = List.fold_left (fun m l -> max m (String.length l)) 0 loggers
let available () = loggers
ifprintf !logger_output fmt
let print ppf fmt =
- pp_open_hovbox ppf 0;
kfprintf (fun _ ->
- 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
+ kfprintf (fun _ ->
+ fprintf ppf "@?")
+ ppf fmt
+ end else
+ ikfprintf (fun _ ->
fprintf ppf "@?")
ppf fmt