EPA: correctly capture comments between 'where' and binds

In the following

    foo = x
      where -- do stuff
            doStuff = do stuff

The "-- do stuff" comment is captured in the HsValBinds.

Closes #20297

9 files changed, 698 insertions, 7 deletions

diff --git a/testsuite/tests/module/mod185.stderr b/testsuite/tests/module/mod185.stderr
index 62427a5746..a0f771ac43 100644
--- a/testsuite/tests/module/mod185.stderr
+++ b/testsuite/tests/module/mod185.stderr
@@ -97,7 +97,8 @@
             (NoSrcStrict))
            []
            (GRHSs
-            (NoExtField)
+            (EpaComments
+             [])
             [(L
               { mod185.hs:5:6-24 }
               (GRHS
diff --git a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr
index de37b069d1..faf63b8a90 100644
--- a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr
+++ b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr
@@ -945,7 +945,8 @@
             (NoSrcStrict))
            []
            (GRHSs
-            (NoExtField)
+            (EpaComments
+             [])
             [(L
               { DumpParsedAst.hs:20:6-23 }
               (GRHS
diff --git a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
index b595315435..66ff512a53 100644
--- a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
+++ b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
@@ -41,7 +41,8 @@
                  (NoSrcStrict))
                 []
                 (GRHSs
-                 (NoExtField)
+                 (EpaComments
+                  [])
                  [(L
                    { DumpRenamedAst.hs:34:6-23 }
                    (GRHS
diff --git a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr
index f8c11891ba..31016f531b 100644
--- a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr
+++ b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr
@@ -1568,7 +1568,8 @@
               (NoSrcStrict))
              []
              (GRHSs
-              (NoExtField)
+              (EpaComments
+               [])
               [(L
                 { DumpTypecheckedAst.hs:19:6-23 }
                 (GRHS
diff --git a/testsuite/tests/parser/should_compile/KindSigs.stderr b/testsuite/tests/parser/should_compile/KindSigs.stderr
index ad5009011b..66d76ca683 100644
--- a/testsuite/tests/parser/should_compile/KindSigs.stderr
+++ b/testsuite/tests/parser/should_compile/KindSigs.stderr
@@ -887,7 +887,8 @@
              (WildPat
               (NoExtField)))]
            (GRHSs
-            (NoExtField)
+            (EpaComments
+             [])
             [(L
               { KindSigs.hs:23:9-12 }
               (GRHS
@@ -1491,7 +1492,8 @@
             (NoSrcStrict))
            []
            (GRHSs
-            (NoExtField)
+            (EpaComments
+             [])
             [(L
               { KindSigs.hs:35:6-11 }
               (GRHS
diff --git a/testsuite/tests/printer/Makefile b/testsuite/tests/printer/Makefile
index ef8aa2858a..95364cc563 100644
--- a/testsuite/tests/printer/Makefile
+++ b/testsuite/tests/printer/Makefile
@@ -729,7 +729,6 @@ PprCommentPlacement2:
 	$(CHECK_PPR)   $(LIBDIR) PprCommentPlacement2.hs
 	$(CHECK_EXACT) $(LIBDIR) PprCommentPlacement2.hs
 
-
 .PHONY: Test20243
 Test20243:
 	$(CHECK_PPR)   $(LIBDIR) Test20243.hs
@@ -739,3 +738,8 @@ Test20243:
 Test20258:
 	$(CHECK_PPR)   $(LIBDIR) Test20258.hs
 	$(CHECK_EXACT) $(LIBDIR) Test20258.hs
+
+.PHONY: Test20297
+Test20297:
+	$(CHECK_PPR)   $(LIBDIR) Test20297.hs
+	$(CHECK_EXACT) $(LIBDIR) Test20297.hs
diff --git a/testsuite/tests/printer/Test20297.hs b/testsuite/tests/printer/Test20297.hs
new file mode 100644
index 0000000000..fc038d1ab1
--- /dev/null
+++ b/testsuite/tests/printer/Test20297.hs
@@ -0,0 +1,11 @@
+{-# OPTIONS -ddump-parsed-ast #-}
+module Test20297 where
+
+
+bar = x
+  -- comment0
+  where -- comment1
+
+foo = x
+  where -- comment2
+        doStuff = do stuff
diff --git a/testsuite/tests/printer/Test20297.stdout b/testsuite/tests/printer/Test20297.stdout
new file mode 100644
index 0000000000..6340f6b183
--- /dev/null
+++ b/testsuite/tests/printer/Test20297.stdout
@@ -0,0 +1,669 @@
+
+==================== Parser AST ====================
+
+(L
+ { Test20297.hs:1:1 }
+ (HsModule
+  (EpAnn
+   (Anchor
+    { Test20297.hs:1:1 }
+    (UnchangedAnchor))
+   (AnnsModule
+    [(AddEpAnn AnnModule (EpaSpan { Test20297.hs:2:1-6 }))
+    ,(AddEpAnn AnnWhere (EpaSpan { Test20297.hs:2:18-22 }))]
+    (AnnList
+     (Nothing)
+     (Nothing)
+     (Nothing)
+     []
+     []))
+   (EpaCommentsBalanced
+    [(L
+      (Anchor
+       { Test20297.hs:1:1-33 }
+       (UnchangedAnchor))
+      (EpaComment
+       (EpaBlockComment
+        "{-# OPTIONS -ddump-parsed-ast #-}")
+       { Test20297.hs:1:1 }))]
+    [(L
+      (Anchor
+       { Test20297.hs:12:1 }
+       (UnchangedAnchor))
+      (EpaComment
+       (EpaEofComment)
+       { Test20297.hs:12:1 }))]))
+  (VirtualBraces
+   (1))
+  (Just
+   (L
+    { Test20297.hs:2:8-16 }
+    {ModuleName: Test20297}))
+  (Nothing)
+  []
+  [(L
+    (SrcSpanAnn (EpAnn
+                 (Anchor
+                  { Test20297.hs:(5,1)-(7,7) }
+                  (UnchangedAnchor))
+                 (AnnListItem
+                  [])
+                 (EpaComments
+                  [(L
+                    (Anchor
+                     { Test20297.hs:7:9-19 }
+                     (UnchangedAnchor))
+                    (EpaComment
+                     (EpaLineComment
+                      "-- comment1")
+                     { Test20297.hs:7:3-7 }))])) { Test20297.hs:(5,1)-(7,7) })
+    (ValD
+     (NoExtField)
+     (FunBind
+      (NoExtField)
+      (L
+       (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:5:1-3 })
+       (Unqual
+        {OccName: bar}))
+      (MG
+       (NoExtField)
+       (L
+        (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:(5,1)-(7,7) })
+        [(L
+          (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:(5,1)-(7,7) })
+          (Match
+           (EpAnn
+            (Anchor
+             { Test20297.hs:(5,1)-(7,7) }
+             (UnchangedAnchor))
+            []
+            (EpaComments
+             []))
+           (FunRhs
+            (L
+             (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:5:1-3 })
+             (Unqual
+              {OccName: bar}))
+            (Prefix)
+            (NoSrcStrict))
+           []
+           (GRHSs
+            (EpaComments
+             [])
+            [(L
+              { Test20297.hs:(5,5)-(7,7) }
+              (GRHS
+               (EpAnn
+                (Anchor
+                 { Test20297.hs:(5,5)-(7,7) }
+                 (UnchangedAnchor))
+                (GrhsAnn
+                 (Nothing)
+                 (AddEpAnn AnnEqual (EpaSpan { Test20297.hs:5:5 })))
+                (EpaComments
+                 [(L
+                   (Anchor
+                    { Test20297.hs:6:3-13 }
+                    (UnchangedAnchor))
+                   (EpaComment
+                    (EpaLineComment
+                     "-- comment0")
+                    { Test20297.hs:5:7 }))]))
+               []
+               (L
+                (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:5:7 })
+                (HsVar
+                 (NoExtField)
+                 (L
+                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:5:7 })
+                  (Unqual
+                   {OccName: x}))))))]
+            (HsValBinds
+             (EpAnn
+              (Anchor
+               { Test20297.hs:7:3-7 }
+               (UnchangedAnchor))
+              (AnnList
+               (Just
+                (Anchor
+                 { Test20297.hs:7:3-7 }
+                 (UnchangedAnchor)))
+               (Nothing)
+               (Nothing)
+               [(AddEpAnn AnnWhere (EpaSpan { Test20297.hs:7:3-7 }))]
+               [])
+              (EpaComments
+               []))
+             (ValBinds
+              (NoAnnSortKey)
+              {Bag(LocatedA (HsBind GhcPs)):
+               []}
+              [])))))])
+       (FromSource))
+      [])))
+  ,(L
+    (SrcSpanAnn (EpAnn
+                 (Anchor
+                  { Test20297.hs:(9,1)-(11,26) }
+                  (UnchangedAnchor))
+                 (AnnListItem
+                  [])
+                 (EpaComments
+                  [])) { Test20297.hs:(9,1)-(11,26) })
+    (ValD
+     (NoExtField)
+     (FunBind
+      (NoExtField)
+      (L
+       (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:9:1-3 })
+       (Unqual
+        {OccName: foo}))
+      (MG
+       (NoExtField)
+       (L
+        (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:(9,1)-(11,26) })
+        [(L
+          (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:(9,1)-(11,26) })
+          (Match
+           (EpAnn
+            (Anchor
+             { Test20297.hs:(9,1)-(11,26) }
+             (UnchangedAnchor))
+            []
+            (EpaComments
+             []))
+           (FunRhs
+            (L
+             (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:9:1-3 })
+             (Unqual
+              {OccName: foo}))
+            (Prefix)
+            (NoSrcStrict))
+           []
+           (GRHSs
+            (EpaComments
+             [])
+            [(L
+              { Test20297.hs:(9,5)-(11,26) }
+              (GRHS
+               (EpAnn
+                (Anchor
+                 { Test20297.hs:(9,5)-(11,26) }
+                 (UnchangedAnchor))
+                (GrhsAnn
+                 (Nothing)
+                 (AddEpAnn AnnEqual (EpaSpan { Test20297.hs:9:5 })))
+                (EpaComments
+                 []))
+               []
+               (L
+                (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:9:7 })
+                (HsVar
+                 (NoExtField)
+                 (L
+                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:9:7 })
+                  (Unqual
+                   {OccName: x}))))))]
+            (HsValBinds
+             (EpAnn
+              (Anchor
+               { Test20297.hs:(10,3)-(11,26) }
+               (UnchangedAnchor))
+              (AnnList
+               (Just
+                (Anchor
+                 { Test20297.hs:11:9-26 }
+                 (UnchangedAnchor)))
+               (Nothing)
+               (Nothing)
+               [(AddEpAnn AnnWhere (EpaSpan { Test20297.hs:10:3-7 }))]
+               [])
+              (EpaComments
+               [(L
+                 (Anchor
+                  { Test20297.hs:10:9-19 }
+                  (UnchangedAnchor))
+                 (EpaComment
+                  (EpaLineComment
+                   "-- comment2")
+                  { Test20297.hs:10:3-7 }))]))
+             (ValBinds
+              (NoAnnSortKey)
+              {Bag(LocatedA (HsBind GhcPs)):
+               [(L
+                 (SrcSpanAnn (EpAnn
+                              (Anchor
+                               { Test20297.hs:11:9-26 }
+                               (UnchangedAnchor))
+                              (AnnListItem
+                               [])
+                              (EpaComments
+                               [])) { Test20297.hs:11:9-26 })
+                 (FunBind
+                  (NoExtField)
+                  (L
+                   (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:9-15 })
+                   (Unqual
+                    {OccName: doStuff}))
+                  (MG
+                   (NoExtField)
+                   (L
+                    (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:9-26 })
+                    [(L
+                      (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:9-26 })
+                      (Match
+                       (EpAnn
+                        (Anchor
+                         { Test20297.hs:11:9-26 }
+                         (UnchangedAnchor))
+                        []
+                        (EpaComments
+                         []))
+                       (FunRhs
+                        (L
+                         (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:9-15 })
+                         (Unqual
+                          {OccName: doStuff}))
+                        (Prefix)
+                        (NoSrcStrict))
+                       []
+                       (GRHSs
+                        (EpaComments
+                         [])
+                        [(L
+                          { Test20297.hs:11:17-26 }
+                          (GRHS
+                           (EpAnn
+                            (Anchor
+                             { Test20297.hs:11:17-26 }
+                             (UnchangedAnchor))
+                            (GrhsAnn
+                             (Nothing)
+                             (AddEpAnn AnnEqual (EpaSpan { Test20297.hs:11:17 })))
+                            (EpaComments
+                             []))
+                           []
+                           (L
+                            (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:19-26 })
+                            (HsDo
+                             (EpAnn
+                              (Anchor
+                               { Test20297.hs:11:19-26 }
+                               (UnchangedAnchor))
+                              (AnnList
+                               (Just
+                                (Anchor
+                                 { Test20297.hs:11:22-26 }
+                                 (UnchangedAnchor)))
+                               (Nothing)
+                               (Nothing)
+                               [(AddEpAnn AnnDo (EpaSpan { Test20297.hs:11:19-20 }))]
+                               [])
+                              (EpaComments
+                               []))
+                             (DoExpr
+                              (Nothing))
+                             (L
+                              (SrcSpanAnn (EpAnn
+                                           (Anchor
+                                            { Test20297.hs:11:22-26 }
+                                            (UnchangedAnchor))
+                                           (AnnList
+                                            (Just
+                                             (Anchor
+                                              { Test20297.hs:11:22-26 }
+                                              (UnchangedAnchor)))
+                                            (Nothing)
+                                            (Nothing)
+                                            []
+                                            [])
+                                           (EpaComments
+                                            [])) { Test20297.hs:11:22-26 })
+                              [(L
+                                (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:22-26 })
+                                (BodyStmt
+                                 (NoExtField)
+                                 (L
+                                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:22-26 })
+                                  (HsVar
+                                   (NoExtField)
+                                   (L
+                                    (SrcSpanAnn (EpAnnNotUsed) { Test20297.hs:11:22-26 })
+                                    (Unqual
+                                     {OccName: stuff}))))
+                                 (NoExtField)
+                                 (NoExtField)))])))))]
+                        (EmptyLocalBinds
+                         (NoExtField)))))])
+                   (FromSource))
+                  []))]}
+              [])))))])
+       (FromSource))
+      [])))]
+  (Nothing)
+  (Nothing)))
+
+
+
+==================== Parser AST ====================
+
+(L
+ { Test20297.ppr.hs:1:1 }
+ (HsModule
+  (EpAnn
+   (Anchor
+    { Test20297.ppr.hs:1:1 }
+    (UnchangedAnchor))
+   (AnnsModule
+    [(AddEpAnn AnnModule (EpaSpan { Test20297.ppr.hs:2:1-6 }))
+    ,(AddEpAnn AnnWhere (EpaSpan { Test20297.ppr.hs:2:18-22 }))]
+    (AnnList
+     (Nothing)
+     (Nothing)
+     (Nothing)
+     []
+     []))
+   (EpaCommentsBalanced
+    [(L
+      (Anchor
+       { Test20297.ppr.hs:1:1-33 }
+       (UnchangedAnchor))
+      (EpaComment
+       (EpaBlockComment
+        "{-# OPTIONS -ddump-parsed-ast #-}")
+       { Test20297.ppr.hs:1:1 }))]
+    [(L
+      (Anchor
+       { Test20297.ppr.hs:9:25 }
+       (UnchangedAnchor))
+      (EpaComment
+       (EpaEofComment)
+       { Test20297.ppr.hs:9:20 }))]))
+  (VirtualBraces
+   (1))
+  (Just
+   (L
+    { Test20297.ppr.hs:2:8-16 }
+    {ModuleName: Test20297}))
+  (Nothing)
+  []
+  [(L
+    (SrcSpanAnn (EpAnn
+                 (Anchor
+                  { Test20297.ppr.hs:(3,1)-(5,7) }
+                  (UnchangedAnchor))
+                 (AnnListItem
+                  [])
+                 (EpaComments
+                  [])) { Test20297.ppr.hs:(3,1)-(5,7) })
+    (ValD
+     (NoExtField)
+     (FunBind
+      (NoExtField)
+      (L
+       (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:3:1-3 })
+       (Unqual
+        {OccName: bar}))
+      (MG
+       (NoExtField)
+       (L
+        (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:(3,1)-(5,7) })
+        [(L
+          (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:(3,1)-(5,7) })
+          (Match
+           (EpAnn
+            (Anchor
+             { Test20297.ppr.hs:(3,1)-(5,7) }
+             (UnchangedAnchor))
+            []
+            (EpaComments
+             []))
+           (FunRhs
+            (L
+             (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:3:1-3 })
+             (Unqual
+              {OccName: bar}))
+            (Prefix)
+            (NoSrcStrict))
+           []
+           (GRHSs
+            (EpaComments
+             [])
+            [(L
+              { Test20297.ppr.hs:(4,3)-(5,7) }
+              (GRHS
+               (EpAnn
+                (Anchor
+                 { Test20297.ppr.hs:(4,3)-(5,7) }
+                 (UnchangedAnchor))
+                (GrhsAnn
+                 (Nothing)
+                 (AddEpAnn AnnEqual (EpaSpan { Test20297.ppr.hs:4:3 })))
+                (EpaComments
+                 []))
+               []
+               (L
+                (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:4:5 })
+                (HsVar
+                 (NoExtField)
+                 (L
+                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:4:5 })
+                  (Unqual
+                   {OccName: x}))))))]
+            (HsValBinds
+             (EpAnn
+              (Anchor
+               { Test20297.ppr.hs:5:3-7 }
+               (UnchangedAnchor))
+              (AnnList
+               (Just
+                (Anchor
+                 { Test20297.ppr.hs:5:3-7 }
+                 (UnchangedAnchor)))
+               (Nothing)
+               (Nothing)
+               [(AddEpAnn AnnWhere (EpaSpan { Test20297.ppr.hs:5:3-7 }))]
+               [])
+              (EpaComments
+               []))
+             (ValBinds
+              (NoAnnSortKey)
+              {Bag(LocatedA (HsBind GhcPs)):
+               []}
+              [])))))])
+       (FromSource))
+      [])))
+  ,(L
+    (SrcSpanAnn (EpAnn
+                 (Anchor
+                  { Test20297.ppr.hs:(6,1)-(9,24) }
+                  (UnchangedAnchor))
+                 (AnnListItem
+                  [])
+                 (EpaComments
+                  [])) { Test20297.ppr.hs:(6,1)-(9,24) })
+    (ValD
+     (NoExtField)
+     (FunBind
+      (NoExtField)
+      (L
+       (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:6:1-3 })
+       (Unqual
+        {OccName: foo}))
+      (MG
+       (NoExtField)
+       (L
+        (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:(6,1)-(9,24) })
+        [(L
+          (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:(6,1)-(9,24) })
+          (Match
+           (EpAnn
+            (Anchor
+             { Test20297.ppr.hs:(6,1)-(9,24) }
+             (UnchangedAnchor))
+            []
+            (EpaComments
+             []))
+           (FunRhs
+            (L
+             (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:6:1-3 })
+             (Unqual
+              {OccName: foo}))
+            (Prefix)
+            (NoSrcStrict))
+           []
+           (GRHSs
+            (EpaComments
+             [])
+            [(L
+              { Test20297.ppr.hs:(7,3)-(9,24) }
+              (GRHS
+               (EpAnn
+                (Anchor
+                 { Test20297.ppr.hs:(7,3)-(9,24) }
+                 (UnchangedAnchor))
+                (GrhsAnn
+                 (Nothing)
+                 (AddEpAnn AnnEqual (EpaSpan { Test20297.ppr.hs:7:3 })))
+                (EpaComments
+                 []))
+               []
+               (L
+                (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:7:5 })
+                (HsVar
+                 (NoExtField)
+                 (L
+                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:7:5 })
+                  (Unqual
+                   {OccName: x}))))))]
+            (HsValBinds
+             (EpAnn
+              (Anchor
+               { Test20297.ppr.hs:(8,3)-(9,24) }
+               (UnchangedAnchor))
+              (AnnList
+               (Just
+                (Anchor
+                 { Test20297.ppr.hs:9:7-24 }
+                 (UnchangedAnchor)))
+               (Nothing)
+               (Nothing)
+               [(AddEpAnn AnnWhere (EpaSpan { Test20297.ppr.hs:8:3-7 }))]
+               [])
+              (EpaComments
+               []))
+             (ValBinds
+              (NoAnnSortKey)
+              {Bag(LocatedA (HsBind GhcPs)):
+               [(L
+                 (SrcSpanAnn (EpAnn
+                              (Anchor
+                               { Test20297.ppr.hs:9:7-24 }
+                               (UnchangedAnchor))
+                              (AnnListItem
+                               [])
+                              (EpaComments
+                               [])) { Test20297.ppr.hs:9:7-24 })
+                 (FunBind
+                  (NoExtField)
+                  (L
+                   (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:7-13 })
+                   (Unqual
+                    {OccName: doStuff}))
+                  (MG
+                   (NoExtField)
+                   (L
+                    (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:7-24 })
+                    [(L
+                      (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:7-24 })
+                      (Match
+                       (EpAnn
+                        (Anchor
+                         { Test20297.ppr.hs:9:7-24 }
+                         (UnchangedAnchor))
+                        []
+                        (EpaComments
+                         []))
+                       (FunRhs
+                        (L
+                         (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:7-13 })
+                         (Unqual
+                          {OccName: doStuff}))
+                        (Prefix)
+                        (NoSrcStrict))
+                       []
+                       (GRHSs
+                        (EpaComments
+                         [])
+                        [(L
+                          { Test20297.ppr.hs:9:15-24 }
+                          (GRHS
+                           (EpAnn
+                            (Anchor
+                             { Test20297.ppr.hs:9:15-24 }
+                             (UnchangedAnchor))
+                            (GrhsAnn
+                             (Nothing)
+                             (AddEpAnn AnnEqual (EpaSpan { Test20297.ppr.hs:9:15 })))
+                            (EpaComments
+                             []))
+                           []
+                           (L
+                            (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:17-24 })
+                            (HsDo
+                             (EpAnn
+                              (Anchor
+                               { Test20297.ppr.hs:9:17-24 }
+                               (UnchangedAnchor))
+                              (AnnList
+                               (Just
+                                (Anchor
+                                 { Test20297.ppr.hs:9:20-24 }
+                                 (UnchangedAnchor)))
+                               (Nothing)
+                               (Nothing)
+                               [(AddEpAnn AnnDo (EpaSpan { Test20297.ppr.hs:9:17-18 }))]
+                               [])
+                              (EpaComments
+                               []))
+                             (DoExpr
+                              (Nothing))
+                             (L
+                              (SrcSpanAnn (EpAnn
+                                           (Anchor
+                                            { Test20297.ppr.hs:9:20-24 }
+                                            (UnchangedAnchor))
+                                           (AnnList
+                                            (Just
+                                             (Anchor
+                                              { Test20297.ppr.hs:9:20-24 }
+                                              (UnchangedAnchor)))
+                                            (Nothing)
+                                            (Nothing)
+                                            []
+                                            [])
+                                           (EpaComments
+                                            [])) { Test20297.ppr.hs:9:20-24 })
+                              [(L
+                                (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:20-24 })
+                                (BodyStmt
+                                 (NoExtField)
+                                 (L
+                                  (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:20-24 })
+                                  (HsVar
+                                   (NoExtField)
+                                   (L
+                                    (SrcSpanAnn (EpAnnNotUsed) { Test20297.ppr.hs:9:20-24 })
+                                    (Unqual
+                                     {OccName: stuff}))))
+                                 (NoExtField)
+                                 (NoExtField)))])))))]
+                        (EmptyLocalBinds
+                         (NoExtField)))))])
+                   (FromSource))
+                  []))]}
+              [])))))])
+       (FromSource))
+      [])))]
+  (Nothing)
+  (Nothing)))
diff --git a/testsuite/tests/printer/all.T b/testsuite/tests/printer/all.T
index 380e71c723..7ef327b716 100644
--- a/testsuite/tests/printer/all.T
+++ b/testsuite/tests/printer/all.T
@@ -172,3 +172,4 @@ test('PprCommentPlacement2', ignore_stderr, makefile_test, ['PprCommentPlacement
 
 test('Test20243', ignore_stderr, makefile_test, ['Test20243'])
 test('Test20258', ignore_stderr, makefile_test, ['Test20258'])
+test('Test20297', ignore_stderr, makefile_test, ['Test20297'])