[m-rev.] diff: --dump-same-hlds

[Peter Wang]

On 2008-09-30, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> When a HLDS stage is the same as the previously dumped HLDS stage, don't create
> a file for it unless the new option --dump-same-hlds is given. This diff means
> that -dall will not generate files without interesting content.

Wouldn't this be confusing?  If some stage has interesting content in
one run of the compiler, then you make some change that causes that
stage to have no interesting content, you'll end up with a mix of HLDS
dumps from different runs of the compiler.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------