diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 18:36:42 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 18:36:42 +0000 |
commit | 3b92524aa90a61796e8822eb961452ca8368acdc (patch) | |
tree | 7b226c556ab1a9d7c542788dba6dc68ef0cbb978 /bytecomp/printlambda.ml | |
parent | 9f2a2427f8187c093657887dc1dde1fcfc70963e (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.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) -> |