Comment author: administrator

In env.ml:open_signature the newenv is being carefully built inside
fold_left2, followed by this:
{ newenv with summary = Env_open(env.summary, root) }
i.e. throw away all the hard work of fold_left2, i guess it should
really be: { newenv with summary = Env_open(newenv.summary, root) }

No, no, this is intended. The fold_left2 simulates the insertion of
all components of the signature in the current environment, however
the summary (which is a compact recipe for rebuilding the environment,
e.g. in the debugger) simply records that we did an "open" operation,
not each insertion.

• Xavier Leroy