[MLton] symbol scopes

Wesley W. Terpstra wesley at terpstra.ca
Wed Nov 12 14:35:06 PST 2008


On Wed, Nov 12, 2008 at 9:03 PM, Matthew Fluet <fluet at tti-c.org> wrote:
> It seems to me that at the point that gcc needs to produce object code for
> y.c, it can't know whether it can avoid making PLT stub indirections,
> because it doesn't know if foo will turn out to be 'public' or 'extern'. So,
> it has to use the PLT stub indirections.  The only time that gcc could avoid
> the PLT stub indirections are the cases where there is a use of a 'public'
> symbol in the same compilation unit as the definition of the 'public'
> symbol.

That's correct.

> O.k.  Given a time machine, this is what I would change...

You lack ambition. :-)



More information about the MLton mailing list