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

[Zoltan Somogyi]

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.