[m-rev.] preliminary review: Removing dead code at link time.

Zoltan Somogyi zoltan.somogyi at runbox.com
Fri Aug 8 20:08:40 AEST 2014



On Fri, 8 Aug 2014 11:37:09 +1000 (EST), Julien Fischer <jfischer at opturion.com> wrote:
> Given that the documentation you added below has to have sentence
> mentioning that this has nothing to do with the garbage collector, a
> better name for this option might be somthing like
> 
>     --strip-dead-sections
> 
> (Indeed, since the option for dead procedure elimination in Mercury is
> --optimize-dead-procs, perhaps --optimize-dead-sections?)

I would call it --strip-dead-sections, and introduce a --strip-dead-procs
synonym for the existing --optimize-dead-procs.

Zoltan.


More information about the reviews mailing list