Comment author: @alainfrisch

J'ai trouvé l'explication: l'opcode RESTART utilise la taille du bloc
environnement (Wosize_val(env) - 2) pour déterminer le nombre d'arguments suspendus. Or ce bloc peut être trop gros s'il a été créé au départ par CamlinternalMod.init_mod (cas Function).

Une solution pourrait être d'utiliser comme valeur pour les valeurs de padding un pointeur global; RESTART pourrait alors vérifier si le dernier slot du bloc est ce pointeur et dans ce cas décrementer num_args autant de fois qu'il faut (on peut commencer par tester si num_args==8). Ça ajoute quand même un test pour chaque RESTART...

Comment author: @alainfrisch

Xavier suggère de détecter, dans CamlinternalMod.update_mod si la fermeture pointe en fait vers un opcode RESTART et dans ce cas utiliser l'indirection plutôt que la copie. Le code suivant a l'air de marcher:

let can_copy n =
Obj.tag n = Obj.closure_tag
&& (Obj.size n <= 2 ||
let env = Obj.field n 1 in
Obj.tag env != Obj.closure_tag ||
let code = Obj.magic (Obj.field n 0) in
let env_code = Obj.magic (Obj.field (Obj.field n 1) 0) in
let diff = env_code - code in
diff != 2 && diff != 4
)

let rec update_mod shape o n =
match shape with
| Function ->
if can_copy n && Obj.size n <= Obj.size o
then overwrite o n
else overwrite o (Obj.repr (fun x -> (Obj.obj n : _ -> _) x))
...

Comment author: @xavierleroy

Fixed in 3.09 bugfix branch.