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

Commits:

• 942388d4
  by Alan Zimmerman at 2026-07-07T20:12:54+01:00

  EPA: Keep binds and sigs together in HsValBindsLR
  
  
  This allows us to get rid of AnnSortKey BindTag
  

• 2e47d730
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  Keep decls together in ClassDecl
  

• b97c8d63
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: ClsInstDecl as list in GhcPs
  

• 365cb8b2
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedP from OverlapMode
  

• 5353d156
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedP from CType
  

• a7d0b8b3
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedP, last use in WarningTxt
  

• a8d1dbb6
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedE from WarningCategory
  

• c6ffba10
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocateE from XCImport and XCExport
  

• cd5e39f5
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedE from HsRecFields dot
  

• 41e66367
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedE completely, last usage for pats 
  

• 4dc79c59
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove AnnList (EpToken "where") usages
  
  This is moving toward removing the parameter from AnnList completely
  

• dac269dc
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA remove AnnList (EpToken "rec") usages
  

• 0fc24229
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove last parameterised AnnList usage (EpaLocation)
  
  Also remove the parameter
  

• 4f97a2b2
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  TTG: Add extension points to BooleanFormula
  
  They are currently unused, but will be used for exact print annotations next
  

• 2c1bfa38
  by Alan Zimmerman at 2026-07-07T20:18:22+01:00

  EPA: Remove LocatedBC / SrcSpanBF
  

76 changed files:

• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Core/Class.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Decls/Overlap.hs
• compiler/GHC/Hs/Dump.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Stats.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Warnings.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/Class.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/ForeignCall.hs
• compiler/GHC/Unit/Module/Warnings.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/BooleanFormula.hs
• compiler/Language/Haskell/Syntax/Decls.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/ZeroWidthSemi.stderr
• testsuite/tests/haddock/haddock_examples/haddock.Test.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.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/DumpTypecheckedAst.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/T15279.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/parser/should_compile/T20718.stderr
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.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/GhcUtils.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Create.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.