diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index fc634d0d47..fd4adc7d20 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -267,10 +267,6 @@ Dumping out compiler intermediate structures aren't). This flag makes debugging output appear in the more verbose debug style. -.. ghc-flag:: -dppr-ticks - - Includes "ticks" in the pretty-printer output. - .. _formatting dumps: @@ -323,6 +319,10 @@ parts that you are not interested in. this often makes the printout ambiguous. If you just want to see the overall structure of the code, then start here. +.. ghc-flag:: -dsuppress-ticks + + Suppress "ticks" in the pretty-printer output. + .. ghc-flag:: -dsuppress-uniques Suppress the printing of uniques. This may make the printout |