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

[Julien Fischer]

Hi,

--deep-profile-tail-recursion is currently turned off by default.
There is a comment above that option (written by Paul in commit bda24d87)
that says:

     % We should always handle tail recursion specially in deep
     % profiling; the option is only for benchmarks for the paper,
     % except that this is currently broken, and not supported with
     % coverage profiling.

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>?

What is the status of --deep-profile-tail-recursion and --coverage-profiling?
Coverage profiling is enabled by default so if I enable
--deep-profile-tail-recursion do I need to disable --coverage-profiling?

Cheers,
Julien.