[m-dev.] status of --deep-profile-tail-recursion

[Zoltan Somogyi]

On Mon, 30 Mar 2015 13:05:50 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> Was the brokenness mentioned in that comment fixed by the following change of
> Zoltan's,
> <http://www.mercurylang.org/list-archives/reviews/2011-July/015284.html>?

Unfortunately, I do not remember.

> What is the status of --deep-profile-tail-recursion and --coverage-profiling?

The two were never designed to work together, so ...

> Coverage profiling is enabled by default so if I enable
> --deep-profile-tail-recursion do I need to disable --coverage-profiling?

... the answer to this one is yes. If the two options happen to work together,
it would be by luck, not by design.

Zoltan.