[m-dev.] status of --deep-profile-tail-recursion
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)
% 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