]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.ml
All the debug_print are now lazy.
[helm.git] / helm / ocaml / registry / helm_registry.ml
index 7767e4da269dc8e749aeebaf6937b1bf1cf0f602..b0fcdab857f417474e1e3f8d3476e47a9c2b6862 100644 (file)
@@ -27,7 +27,7 @@ open Printf
 
 let debug = false
 let debug_print s =
-  if debug then prerr_endline ("Helm_registry debugging: " ^ s)
+  if debug then prerr_endline ("Helm_registry debugging: " ^ (Lazy.force s))
 
   (** <helpers> *)
 
@@ -118,7 +118,7 @@ let key_is_valid key =
     raise (Malformed_key key)
 
 let set' registry ~key ~value =
-  debug_print (sprintf "Setting %s = %s" key value);
+  debug_print (lazy (sprintf "Setting %s = %s" key value));
   key_is_valid key;
   Hashtbl.add registry key value
 
@@ -275,7 +275,7 @@ let rec load_from_absolute ?path registry fname =
     | "key", ["name", name] -> in_key := true; push_path name
     | "helm_registry", _ -> ()
     | "include", ["href", fname] ->
-        debug_print ("including file " ^ fname);
+        debug_print (lazy ("including file " ^ fname));
         load_from_absolute ~path:!_path registry fname
     | tag, _ ->
         raise (Parse_error (fname, ~-1, ~-1,