[m-dev.] --warn-non-tail-recursion and deep profiling

[Julien Fischer]

Hi,

Was it intended that --warn-non-tail-recursion should emit warnings
in deep profiling grades?  Since those grades disable tail recursion
you obviously get a warning about every recursive predicate.

Julien.