summaryrefslogtreecommitdiffstats
path: root/bytecomp/printlambda.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-11-29 18:36:42 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-11-29 18:36:42 +0000
commit3b92524aa90a61796e8822eb961452ca8368acdc (patch)
tree7b226c556ab1a9d7c542788dba6dc68ef0cbb978 /bytecomp/printlambda.ml
parent9f2a2427f8187c093657887dc1dde1fcfc70963e (diff)
Ajout du support pour le debugger
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
-rw-r--r--bytecomp/printlambda.ml11
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) ->