Program size, linking matter, and static this()

[Andrei Alexandrescu]

On 12/17/11 12:27 AM, Martin Nowak wrote:
>> We'd need the linker to do anything of this. Unreferenced symbols
>> should be outputted using
>> kind of vague linkage (multiobj partly does this).
>> I-reference-everything stuff link ModuleInfos
>> should only create weak references. This includes that localClasses
> More concrete if we'd output weak defined symbols (null) for what is
> referenced
> by a ModuleInfo then the linker should not open further object files to
> find a definition. But if another definition is linked in it will replace
> the weak definition. The program would then need to skip the dummy
> symbols (null)
> at runtime.

I think it would be awesome to exploit weak symbols.

Andrei