ocaml 3.09 transition

[helm.git] / helm / ocaml / utf8_macros / pa_unicode_macro.ml

diff --git a/helm/ocaml/utf8_macros/pa_unicode_macro.ml b/helm/ocaml/utf8_macros/pa_unicode_macro.ml
index 88ba8b5a8f97f044e494a4a652687c2dcf25c389..d14401f84e899603daef01fa5968c6c678e98256 100644 (file)
--- a/helm/ocaml/utf8_macros/pa_unicode_macro.ml
+++ b/helm/ocaml/utf8_macros/pa_unicode_macro.ml
@@ -24,7 +24,7 @@
  *)
 
 let debug = false
-let debug_print s = if debug then prerr_endline s
+let debug_print s = if debug then prerr_endline (Lazy.force s)
 
 let loc =
   let dummy_pos =
@@ -34,7 +34,7 @@ let loc =
   (dummy_pos, dummy_pos)
 
 let expand_unicode_macro macro =
-  debug_print (Printf.sprintf "Expanding macro '%s' ..." macro);
+  debug_print (lazy (Printf.sprintf "Expanding macro '%s' ..." macro));
   let expansion = Utf8Macro.expand macro in
   <:expr< $str:expansion$ >>
 
@@ -53,7 +53,7 @@ EXTEND
           (String.sub q 0 pos,
            String.sub q (pos + 1) (String.length q - pos - 1))
         in
-        debug_print (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg);
+        debug_print (lazy (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg));
         if quotation = "unicode" then
           let text = TXtok (loc, x, expand_unicode_macro arg) in
           {used = []; text = text; styp = STlid (loc, "string")}