- improved logging

[helm.git] / helm / software / lambda-delta / lib / log.ml

diff --git a/helm/software/lambda-delta/lib/log.ml b/helm/software/lambda-delta/lib/log.ml
index b33f6726b9b148d54bb15474eb23cf14853f3240..fd99db2d2c24d1b85d721cd990839d947f9a4ca6 100644 (file)
--- a/helm/software/lambda-delta/lib/log.ml
+++ b/helm/software/lambda-delta/lib/log.ml
@@ -31,12 +31,6 @@ let std = F.std_formatter
 
 let err = F.err_formatter
 
-let init =
-   let started = ref false in
-   fun () ->
-      if !started then () else 
-      begin P.printf "\n"; started := true end
-
 let pp_items frm st l items =   
    let pp_item frm = function
       | Term (c, t) -> F.fprintf frm "%a@,%a" st.pp_context c (st.pp_term c) t
@@ -49,15 +43,13 @@ let pp_items frm st l items =
 
 (* Interface functions ******************************************************)
 
-(*
-let warn msg = 
-   init (); P.printf " %s\n" msg; flush stdout
-*)
-let box () = F.fprintf std "@,@[<v 2>%s" "  "; F.pp_print_if_newline std ()
+let box l = 
+   if !level >= l then
+   begin F.fprintf std "@,@[<v 2>%s" "  "; F.pp_print_if_newline std () end
 
-let unbox () = F.fprintf std "@]"
+let unbox l = if !level >= l then F.fprintf std "@]"
 
-let flush () = F.fprintf std "@]@."
+let flush l = if !level >= l then F.fprintf std "@]@."
 
 let box_err () = F.fprintf err "@[<v>"