Commit 2d5be63d authored by Committed by Ben GamariBrowse files
Change -dppr-ticks to -dsuppress-ticks
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. Blargh. -dppr-ticks is still there, but deprecated.
Showing with 21 additions and 18 deletions