summaryrefslogtreecommitdiffstats
path: root/bytecomp/lambda.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-02-19 16:08:05 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-02-19 16:08:05 +0000
commit65b0dfc16c9d34219e617fddbd22c09a4b352ea5 (patch)
tree7a765e21634edf847bde470810c0f63dc72eaeab /bytecomp/lambda.ml
parent8c116a201877569a893b68fe887fe0139ab1721a (diff)
Corrections de bugs dans la gestion des evenements de debug.
Conserver l'optimisation tailcall et push-acc meme en presence d'evenements de debug. Stockage plus efficace des infos de debug dans les .cmo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.ml')
-rw-r--r--bytecomp/lambda.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml
index 825389866..0e7bcf768 100644
--- a/bytecomp/lambda.ml
+++ b/bytecomp/lambda.ml
@@ -184,6 +184,7 @@ let free_variables l =
let rec is_guarded = function
Lifthenelse(cond, body, Lstaticfail) -> true
| Llet(str, id, lam, body) -> is_guarded body
+ | Levent(lam, ev) -> is_guarded lam
| _ -> false
let rec transl_path = function