Re: [Caml-list] empty mli for executable

[Alain Frisch <alain@frisch.fr>]

On 10/3/2013 8:42 PM, Milan Stanojević wrote:
> Thanks, Alain.
> Just one question about this. Let's say I have a toplevel value in my
> executable and an empty mli. How is this toplevel value then retained?
> Is it part of some other root set ?

Well, actually, after double-checking, it appears that in native code, 
the non-exported values are still stored in the global record 
corresponding to the unit.  See this comment in translmod.ml:

    Identifiers that are not exported are assigned positions at the
    end of the block (beyond the positions of all exported idents).


This is just one possible compilation strategy, designed to reduce 
pressure on registers (and it invalidates my explanation).  Another one 
would be to simply consider those value as local variables (in 
registers, maybe spilled to the stack).

The current strategy has the effect that a non-exported toplevel value 
is never reclaimed by the GC, even if it is no longer accessible (this 
is not the case in bytecode).


Alain