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

Commits:

• 4f559864
  by Alan Zimmerman at 2026-08-19T19:26:35+01:00

  EPA some tests for layout. WIP
  

• 2d8be72c
  by Alan Zimmerman at 2026-08-19T19:26:35+01:00

  Exactprint layout scope plan. Do not commit
  

• 2543b267
  by Alan Zimmerman at 2026-08-19T21:29:45+01:00

  EPA: tidy up a bit. Combine somewhere else
  

• ad343bd7
  by Alan Zimmerman at 2026-08-19T22:08:50+01:00

  EPA: Introduce LayoutFrame stacks in ExactPrint state
  

• 95da65b9
  by Alan Zimmerman at 2026-08-19T22:10:10+01:00

  Plan update DO NOT COMMIT
  

• a7a02608
  by Alan Zimmerman at 2026-08-19T22:10:16+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
  

• 0ba9d11b
  by Alan Zimmerman at 2026-08-19T22:10:16+01:00

  EPA: HsList attempt WIP
  

• 0d6e519e
  by Alan Zimmerman at 2026-08-19T22:10:16+01:00

  Enable ppr test for Haddock1. It currently fails
  

• ed79f702
  by Alan Zimmerman at 2026-08-19T22:10:16+01:00

  WIP on removing NoEpAnn. Likely abandon
  

• 1bb4b198
  by Alan Zimmerman at 2026-08-19T22:10:16+01:00

  EPA: Add an overview doc for exact printing
  

• 10be628d
  by Simon Peyton Jones at 2026-08-19T22:10:16+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.hs
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• + testsuite/tests/printer/Layout.hs
• testsuite/tests/printer/Makefile
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/printer/all.T
• 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.