From ff7893db153ecd86099fab1c71be475dcc8272bf Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Wed, 2 May 2012 14:31:00 +0200 Subject: [PATCH] Add 'bottom-up' logging level. --- src/logger.ml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/logger.ml b/src/logger.ml index 1b123f1..e113010 100644 --- a/src/logger.ml +++ b/src/logger.ml @@ -3,7 +3,15 @@ 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"; + "grammar"; + "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 -- 2.17.1