Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

protect recursion (Jun) 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6006 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2003-12-06 11:38:17 +00:00
parent 06cfc23fad
commit 6cecdc521f
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
bytecomp/translclass.ml
View File

@ -629,9 +629,20 @@ let transl_class ids cl_id arity pub_meths cl =
Llet(Strict, class_init, Lfunction(Curried, [cla], cl_init),
lam class_init)
and lbody class_init =
Lapply (oo_prim "make_class",
[transl_meth_list pub_meths; Lvar class_init])
and lbody_virt lenvs =
let fv = free_variables cl_init in
if List.for_all (fun id -> not (IdentSet.mem id fv)) ids then
Lapply (oo_prim "make_class",
[transl_meth_list pub_meths; Lvar class_init])
else
ltable table (
Llet(
Strict, env_init, Lapply(Lvar class_init, [Lvar table]),
Lsequence(
Lapply (oo_prim "init_class", [Lvar table]),
Lprim(Pmakeblock(0, Immutable),
[Lapply(Lvar env_init, [lambda_unit]);
Lvar class_init; Lvar env_init; lambda_unit]))))
and lbody_virt lenvs =
Lprim(Pmakeblock(0, Immutable),
[lambda_unit; Lfunction(Curried,[cla], cl_init); lambda_unit; lenvs])
in