[m-rev.] for post-commit review: --deep-std-name

[Zoltan Somogyi]

On Mon, 14 Oct 2024 10:53:57 +1100, Peter Wang <novalazy at gmail.com> wrote:
> Thanks for that. I actually find the old behaviour more useful in my
> usage. If I'm looking at a profile in the browser, I can do another
> program run, click on [Quit], then Back and Refresh in the browser to
> view the new profile immediately, without changing the URL.

The old behavior is better for that use case (but see below), but the new behavior
is better for other use cases. For example, it makes it possible to profile
an application that consists of two or more deep profiled Mercury programs,
since their profiles can be saved to different filenames.

> (It would be nice to have a [Reload] command, but this works.)

I will have a look at that. We could even have *two* reload commands:

- one that reloads the file with the same name as the profile now displayed, and

- one that reloads the file with the same *program* name as the profile
  now displayed, but with the highest timestamp component in the file name
  among the files in the same directory.

> Here is a proposed update to the NEWS file, for review:

The diff is fine. Thanks.

Zoltan.