Using associated data types to create unpacked data structures

[Max Bolingbroke]

On 12 August 2010 20:31, Johan Tibell <johan.tibell at gmail.com> wrote:
> Yes and dead code elimination should also be able to get rid of much of the
> code duplication even before it reaches the linker.

I don't think dead code elimination will help, because presumably you
want to generate specialisations on demand. This means that
specialisations will only be generated if they have at least one
caller. Unless the caller is itself dead, it will be entirely up to
the linker to common-up stuff and reduce the code bloat.

Cheers,
Max