Alan Zimmerman pushed to branch wip/az/exactprint-annotation-rationalisation at Glasgow Haskell Compiler / GHC

Commits:

• f1dffcfe
  by Alan Zimmerman at 2026-08-11T20:33:59+01:00

  EPA: Remove ListBanana / ListParens from AnnListBrackets
  

• c753f41b
  by Alan Zimmerman at 2026-08-11T23:09:33+01:00

  EPA: Tidy up mkHsDoPv, take AnnList directly
  
  And some extra stuff by accident.
  
  The main goal is to slim down AnnListBrackets to just have braces or
  none.
  
  This makes it clear that it serves only for lists which may have layout,
  and opens the route to use EpLayout instead of AnnListBrackets
  

• 2fed12ec
  by Alan Zimmerman at 2026-08-12T18:50:45+01:00

  EPA: Add specific layout field to AnnList
  

• affb39d4
  by Alan Zimmerman at 2026-08-12T21:06:15+01:00

  EPA: Use EpaLocation in EpVirtualBraces
  
  reword:
  EPA Use vocurly as basis for AnnListLayout
  
  For the existing cases that populate AnnList.
  
  This also shows up AnnList usages that can never capture layout.
  

• 23c18c09
  by Alan Zimmerman at 2026-08-12T21:29:47+01:00

  EPA Use vocurly as basis for AnnListLayout
  
  For the existing cases that populate AnnList.
  
  This also shows up AnnList usages that can never capture layout.
  

• 2d86111b
  by Alan Zimmerman at 2026-08-12T21:29:47+01:00

  EPA: AnnList clean up patch for empty where clause
  

• ec87c38f
  by Alan Zimmerman at 2026-08-12T21:29:47+01:00

  EPA: Add TTG fields to FamilyInfo
  
  This commit is a simple add, with unused extension fields.
  
  It lays the groundwork for using them for exact print annotations
  

• 6a641163
  by Alan Zimmerman at 2026-08-12T21:29:47+01:00

  WIP annclassdecl
  

• 09e02068
  by Alan Zimmerman at 2026-08-12T21:29:47+01:00

  EPA: Update AnnClsInstDecl to contain AnnList
  
  It was already separately tracking the '{', '}' and leading ';' values.
  This aligns it with layout-introducing parser productions ('vocurly'),
  so the layout processing can be handled uniformly
  

• cab6b18a
  by Alan Zimmerman at 2026-08-12T23:35:32+01:00

  EPA: First pass implementation of HsList, for ClassDecls
  
  Just as a straight list replacement to start with, no payload.
  This shows the scope and invasiveness of the initial change
  

• 3eb49aa3
  by Alan Zimmerman at 2026-08-12T23:35:32+01:00

  EPA: HsList attempt WIP
  

• 9813d8dc
  by Alan Zimmerman at 2026-08-12T23:35:32+01:00

  Enable ppr test for Haddock1. It currently fails
  

• 7e3cab56
  by Alan Zimmerman at 2026-08-12T23:35:32+01:00

  WIP on removing NoEpAnn. Likely abandon
  

• f5f86975
  by Alan Zimmerman at 2026-08-12T23:35:32+01:00

  EPA: Add an overview doc for exact printing
  

• f74a5e88
  by Simon Peyton Jones at 2026-08-12T23:35:32+01:00

  Added an intro section
  

68 changed files:

• ANNLIST-LAYOUT-PLAN.md
• + ExactPrint.md
• compiler/GHC/Driver/Backpack.hs
• compiler/GHC/Driver/Main/Interactive.hs
• compiler/GHC/Hs.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/DocString.hs
• compiler/GHC/Hs/Dump.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Stats.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Splice.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/Types/Origin.hs
• compiler/GHC/ThToHs.hs
• compiler/Language/Haskell/Syntax.hs
• compiler/Language/Haskell/Syntax/Basic.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• ghc/GHCi/UI.hs
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/ghc-api/exactprint/T22919.stderr
• testsuite/tests/ghc-api/exactprint/Test20239.stderr
• testsuite/tests/ghc-api/exactprint/ZeroWidthSemi.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr
• testsuite/tests/module/mod185.stderr
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpParsedAstComments.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/T15279.stderr
• testsuite/tests/parser/should_compile/T15323.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/parser/should_compile/T20718.stderr
• testsuite/tests/parser/should_compile/T20718b.stderr
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/parser/should_compile/T23315/T23315.stderr
• testsuite/tests/printer/AnnotationNoListTuplePuns.stdout
• testsuite/tests/printer/Makefile
• testsuite/tests/printer/T18791.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.hs
• utils/check-exact/Parsers.hs
• utils/check-exact/Transform.hs
• utils/check-exact/Utils.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Hoogle.hs
• utils/haddock/haddock-api/src/Haddock/Backends/LaTeX.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
• utils/haddock/haddock-api/src/Haddock/Convert.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs
• utils/haddock/haddock-api/src/Haddock/Types.hs

The diff was not included because it is too large.