summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-11-19 07:35:46 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2003-11-19 07:35:46 +0000
commit372f16a6a118bd2ce88b432701f9a438b88442f9 (patch)
tree79bb7b76e19a63b74852b99e57c5dd0589066c4f
parentb83eebce6ed692a3f1b4dfeca7a8444380ebc6d2 (diff)
downloadocaml-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.ml4
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