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

Commits:

• ddaa9dad
  by Alan Zimmerman at 2026-09-03T21:14:34+01:00

  EPA: Located do statements
  

• d1903a7d
  by Alan Zimmerman at 2026-09-03T22:19:43+01:00

  EPA: Print RecStmt located
  

• b2b6f17a
  by Alan Zimmerman at 2026-09-03T22:55:11+01:00

  EPA: HsCmdDo Located
  

• f48723a3
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  Extend Test20297 for additional occurrences
  

• 7819a32e
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  Plan update DO NOT COMMIT
  

• 9571a5ba
  by Alan Zimmerman at 2026-09-03T22:59:45+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
  

• e50c0be9
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  EPA: HsList attempt WIP
  

• 20edaa07
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  Enable ppr test for Haddock1. It currently fails
  

• 3e4fb6e4
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  WIP on removing NoEpAnn. Likely abandon
  

• 346b41c1
  by Alan Zimmerman at 2026-09-03T22:59:45+01:00

  EPA: Add an overview doc for exact printing
  

• 86403107
  by Simon Peyton Jones at 2026-09-03T22:59:45+01:00

  Added an intro section
  

44 changed files:

• ANNLIST-LAYOUT-PLAN.md
• + ExactPrint.md
• LAYOUT-SCOPE-PLAN.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/Expr.hs
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Stats.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/Parser.y
• 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/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
• ghc/GHCi/UI.hs
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/printer/Makefile
• + testsuite/tests/printer/Test20297.expected.hs
• testsuite/tests/printer/Test20297.hs
• 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/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.