diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-19 07:35:46 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-19 07:35:46 +0000 |
commit | 372f16a6a118bd2ce88b432701f9a438b88442f9 (patch) | |
tree | 79bb7b76e19a63b74852b99e57c5dd0589066c4f | |
parent | b83eebce6ed692a3f1b4dfeca7a8444380ebc6d2 (diff) | |
download | ocaml-372f16a6a118bd2ce88b432701f9a438b88442f9.tar.gz |
dead code
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fastclass@5932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | bytecomp/translclass.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/translclass.ml b/bytecomp/translclass.ml index d6af5244ab..d2b659e5be 100644 --- a/bytecomp/translclass.ml +++ b/bytecomp/translclass.ml @@ -192,7 +192,6 @@ let build_object_init_0 cl_table params cl copy_env subst_env top ids = let env = Ident.create "env" in let (inh_init, obj_init) = build_object_init_0 cl_table params cl (copy_env env) top ids in - let obj_init = subst_env env obj_init in let obj_init = if top then obj_init else let i = ref (List.length inh_init + 1) in @@ -200,7 +199,7 @@ let build_object_init_0 cl_table params cl copy_env subst_env top ids = (fun (obj_init, env_init, _) init -> decr i; Llet(Strict, obj_init, Lapply(Lvar env_init, [lfield env !i]), init)) - inh_init obj_init + inh_init (subst_env env obj_init) in (inh_init, lfunction [env] obj_init) @@ -452,6 +451,7 @@ let transl_class ids cl_id arity pub_meths cl = Lifused(env2, Lprim(Parraysetu Paddrarray, [Lvar self; Lvar env2; lfield env1 0])) and subst_env envs lam = + if top then lam else Llet(Alias, env1, lfield envs 0, subst_lambda (subst env1 lam 1 new_ids_init) lam) in |