• Simon Peyton Jones's avatar
    Change -dppr-ticks to -dsuppress-ticks · 2d5be63d
    Simon Peyton Jones authored
    I spent about two hours today hunting fruitlessly for a simplifier
    bug (when fixing Trac #13255), only to find that it was caused by
    -ddump-X silently suppressing all ticks in Core.
    I think this has happened to me once before.
    So I've changed to make tick-printing on by default (like coercions,
    etc), with a flag -dsuppress-ticks (like -dsuppress-coercions) to
    suppress them.
    -dppr-ticks is still there, but deprecated.
debugging.rst 11.6 KB