summaryrefslogtreecommitdiff
path: root/camlp4/etc/pr_o.ml
diff options
context:
space:
mode:
Diffstat (limited to 'camlp4/etc/pr_o.ml')
-rw-r--r--camlp4/etc/pr_o.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml
index 21d74d3bf5..ca585ac7f8 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 :] ]}];