From 83c67f766be615d4db6f71f8af0cbb9b4c4917bb Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Sun, 10 Apr 2022 11:45:28 +0200 Subject: Add -dkeep-comments flag to keep comments in the parser This provides a way to set the Opt_KeepRawTokenStream from the command line, allowing exact print annotation users to see exactly what is produced for a given parsed file, when used in conjunction with -ddump-parsed-ast Discussed in #19706, but this commit does not close the issue. --- docs/users_guide/debugging.rst | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'docs') 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 -- cgit v1.2.1