diff options
Diffstat (limited to 'bytecomp/printlambda.ml')
| -rw-r--r-- | bytecomp/printlambda.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index fa7135ef2..93700a444 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -258,6 +258,17 @@ let rec lambda = function List.iter (fun l -> print_space(); lambda l) largs; print_string ")"; close_box() + | Levent(lam, ev) -> + open_hovbox 2; + begin match ev.lev_kind with + Lev_before -> print_string "(before " + | Lev_after _ -> print_string "(after " + end; + print_int ev.lev_loc; + print_space(); + lambda lam; + print_string ")"; + close_box() and sequence = function Lsequence(l1, l2) -> |