diff options
| -rw-r--r-- | camlp4/etc/pr_o.ml | 4 | ||||
| -rw-r--r-- | camlp4/etc/pr_r.ml | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml index 21d74d3bf..ca585ac7f 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -1407,7 +1407,9 @@ pr_expr.pr_levels := <:expr< for $_$ = $_$ $to:_$ $_$ do { $list:_$ } >> | <:expr< while $_$ do { $list:_$ } >> | <:expr< ($list: _$) >> | <:expr< let $opt:_$ $list:_$ in $_$ >> | - <:expr< let module $_$ = $_$ in $_$ >> as e -> + <:expr< let module $_$ = $_$ in $_$ >> | + <:expr< new $list:_$ >> | + <:expr< assert $_$ >> | <:expr< lazy $_$ >> as e -> fun curr next dg k -> [: `S LO "("; `expr e "" [: `HVbox [: `S RO ")"; k :] :] :] | e -> fun curr next _ k -> [: `not_impl "expr" e :] ]}]; diff --git a/camlp4/etc/pr_r.ml b/camlp4/etc/pr_r.ml index 810943e30..74b1322c9 100644 --- a/camlp4/etc/pr_r.ml +++ b/camlp4/etc/pr_r.ml @@ -1315,7 +1315,8 @@ pr_expr.pr_levels := <:expr< while $_$ do { $list:_$ } >> | <:expr< let $opt:_$ $list:_$ in $_$ >> | <:expr< let module $_$ = $_$ in $_$ >> | - <:expr< new $list:_$ >> as e -> + <:expr< new $list:_$ >> | + <:expr< assert $_$ >> | <:expr< lazy $_$ >> as e -> fun curr next _ k -> [: `S LO "("; `expr e [: `HVbox [: `S RO ")"; k :] :] :] | e -> fun curr next _ k -> [: `not_impl "expr" e :] ]}]; |