diff options
Diffstat (limited to 'parsing/esyntax.ml')
| -rw-r--r-- | parsing/esyntax.ml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/parsing/esyntax.ml b/parsing/esyntax.ml index 28be50723..2b801d03e 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">") |