diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 6802fa71fb..0d418b3dfd 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -124,6 +124,13 @@ parser and interface file reader. Dump parser output as a syntax tree +.. ghc-flag:: -dkeep-comments + :shortdesc: Include comments in the parser. Useful in combination with :ghc-flag:`-ddump-parsed-ast`. + :type: dynamic + + Include comments in the parser. Useful in combination with :ghc-flag:`-ddump-parsed-ast`. + + .. ghc-flag:: -ddump-if-trace :shortdesc: Trace interface files :type: dynamic |