[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