X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;h=7796b7356f428758c439300aa93e4d230a72b1f1;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=1b123f172e85a11322e36101c20a4f0847019413;hpb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;p=SXSI%2Fxpathcomp.git diff --git a/src/logger.ml b/src/logger.ml index 1b123f1..7796b73 100644 --- a/src/logger.ml +++ b/src/logger.ml @@ -3,7 +3,14 @@ open Format 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 = [ "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