Using associated data types to create unpacked data structures
batterseapower at hotmail.com
Thu Aug 12 19:14:54 EDT 2010
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.
More information about the Glasgow-haskell-users