diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:08:05 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:08:05 +0000 |
commit | 65b0dfc16c9d34219e617fddbd22c09a4b352ea5 (patch) | |
tree | 7a765e21634edf847bde470810c0f63dc72eaeab /bytecomp/lambda.ml | |
parent | 8c116a201877569a893b68fe887fe0139ab1721a (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.ml | 1 |
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 |