[m-dev.] status of --deep-profile-tail-recursion
zoltan.somogyi at runbox.com
Mon Mar 30 16:42:48 AEDT 2015
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
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.
More information about the developers