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

[Zoltan Somogyi]

On 30-Sep-2008, Peter Wang <novalazy at gmail.com> wrote:
> 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.

Are you saying that, if --dump-same-hlds is not given and the stage is
the same as the previously dumped stage, then instead of simply not dumping
this stage, we should delete any existing file for this stage if it exists?
I think that may be a good idea. Any other opinions?

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------