compat ocaml 3.03

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2291 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 9 insertions, 9 deletions

diff --git a/parsing/esyntax.ml b/parsing/esyntax.ml
index 28be507232..2b801d03eb 100644
--- a/parsing/esyntax.ml
+++ b/parsing/esyntax.ml
@@ -141,7 +141,7 @@ let _ = Ppprim.add ("token",token_printer)
 
 (* A primitive printer to do "print as" (to specify a length for a string) *)
 let print_as_printer stdpr = function
-  | Node (_, "AS", [Num(_,n); Str(_,s)]) -> [< 'sTRas (n,s) >]
+  | Node (_, "AS", [Num(_,n); Str(_,s)]) -> (stras (n,s))
   | ast                                  -> stdpr ast
 
 let _ = Ppprim.add ("print_as",print_as_printer)
@@ -165,11 +165,11 @@ let print_syntax_entry whatfor sub_pr env se =
             | None -> token_printer (sub_pr whatfor (Some(rule_prec,reln)))
         in 
 	printer (Ast.pat_sub Ast.dummy_loc env e)
-    | RO s -> [< 'sTR s >]
-    | UNP_TAB -> [< 'tAB >]
-    | UNP_FNL -> [< 'fNL >]
-    | UNP_BRK(n1,n2) -> [< 'bRK(n1,n2) >]
-    | UNP_TBRK(n1,n2) -> [< 'tBRK(n1,n2) >]
+    | RO s -> str s
+    | UNP_TAB -> tab ()
+    | UNP_FNL -> fnl ()
+    | UNP_BRK(n1,n2) -> brk(n1,n2)
+    | UNP_TBRK(n1,n2) -> tbrk(n1,n2)
     | UNP_BOX (b,sub) -> ppcmd_of_box b (prlist print_hunk sub)
   in 
   prlist print_hunk se.syn_hunks
@@ -191,11 +191,11 @@ let genprint dflt whatfor inhprec ast =
 	  if no_paren then 
 	    printed_gt
 	  else 
-	    [< 'sTR"(" ; printed_gt; 'sTR")" >]
+	    (str"(" ++ printed_gt ++ str")")
       | None -> dflt gt (* No rule found *)
   in
   try 
     rec_pr whatfor inhprec ast
   with
-    | Failure _ -> [< 'sTR"<PP failure: "; dflt ast; 'sTR">" >]
-    | Not_found -> [< 'sTR"<PP search failure: "; dflt ast; 'sTR">" >]
+    | Failure _ -> (str"<PP failure: " ++ dflt ast ++ str">")
+    | Not_found -> (str"<PP search failure: " ++ dflt ast ++ str">")