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

Julien Fischer jfischer at opturion.com
Mon Mar 30 13:05:50 AEDT 2015


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

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?


More information about the developers mailing list