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

Commits:

• 54b9a5cf
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: remove LocatedL / SrcSpanAnnL and  LocatedLI / SrcSpanAnnLI
  
  This is part of a refactor towards only having LocatedA / SrcSpanAnnA
  
  It removes the stated items, but has to add back one for BooleanFormula,
  LocatedBF / SrcSpanAnnBF
  
  This commit also use the HsConDetails RecCon extension point to
  capture the braces in a record constructor
  

• 776c88ef
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Remove LocatedC / SrcSpanAnnC
  
  Used for contexts
  

• 8f1c6b2b
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Harmonise HsQual/HsQualTy TTG extension annotations
  

• efbbef72
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA Remove LocatedLC / LocatedLS
  
  LocatedLC/LocatedLS were unused
  

• 4e34d0c0
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Remove LocatedLW from LStmtLR
  

• 2d681478
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Remove LocatedLW from MatchGroup
  
  This is the last usage of LocatedLW / SrcSpanAnnLW
  

• d773b871
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Move the 'where' annotation for PatSynBind
  
  This allows us to move it out of the MatchGroup exact print annotation
  too
  

• b92ee0df
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  EPA: Replace AnnListItem with simply [TrailingAnn]
  
  Remove the unnecessary wrapper around a single field.
  

• fb1f5a2d
  by Alan Zimmerman at 2026-06-18T23:22:04+01:00

  Keep binds and sigs together in HsValBindsLR
  
  TBD
  

94 changed files:

• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Hs.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.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/Type.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.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/Parser/Types.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/HsType.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/Deriv/Generate.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Arrow.hs
• compiler/GHC/Tc/Gen/Do.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Tc/Gen/Expr.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Match.hs
• compiler/GHC/Tc/Gen/Sig.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/PatSyn.hs
• compiler/GHC/Tc/TyCl/Utils.hs
• compiler/GHC/Tc/Utils/Backpack.hs
• compiler/GHC/ThToHs.hs
• compiler/Language/Haskell/Syntax.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• compiler/Language/Haskell/Syntax/Type.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/DumpTypecheckedAst.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/T14189.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/parser/should_compile/all.T
• testsuite/tests/printer/AnnotationNoListTuplePuns.stdout
• testsuite/tests/printer/T18791.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/typecheck/should_compile/T15242.stderr
• testsuite/tests/typecheck/should_compile/all.T
• 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/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/Interface/RenameType.hs
• utils/haddock/haddock-api/src/Haddock/Types.hs

The diff was not included because it is too large.