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

Commits:

• 76eaab2b
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: ClsInstDecl as list in GhcPs
  

• 4902d4d8
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedP from OverlapMode
  

• 1c2136a2
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedP from CType
  

• 02fa4694
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedP, last use in WarningTxt
  

• 47e2bd6e
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedE from WarningCategory
  

• e51cda17
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocateE from XCImport and XCExport
  

• f1573020
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedE from HsRecFields dot
  

• e0fd0448
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedE completely, last usage for pats 
  

• bd898429
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

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

• d2191400
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA remove AnnList (EpToken "rec") usages
  

• 2d925fec
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

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

• ff7c00da
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

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

• 78f9383d
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Remove LocatedBC / SrcSpanBF
  

• f572ffe7
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: remove unused addTrailingAnnToL. Squash appropriately
  

• a534d96b
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPS: Remove NoEpTok/NoEpUniTok, using an unhelpful SrcSpan instead
  
  Also introduce helper functions noEpTok and noEpUniTok to serve
  as simple replacements in code inserting an token annotation without
  location information.
  

• 340eba04
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Some haddock processing tweaks
  

• 7f4ddb2c
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  Some haddock exactprint tests
  

• 34062b4b
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: When adding comments honour trailing anns
  

• 377a4c01
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Uses Parsers.parseModule for exactprint tests
  
  This is the advertised way to parse for use for exact printing in the
  ghc-exactprint library, make sure we test using it.
  

• 4b3225af
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA Fix HsCmdDo exact print with comments
  
  TODO: add test based on proc-do-complex-four-out.hs
  

• 027448d3
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  WIP on removing NoEpAnn. Likely abandon
  

• 6a0c2b0e
  by Alan Zimmerman at 2026-07-21T20:45:24+01:00

  EPA: Add an overview doc for exact printing
  

• 78995316
  by Simon Peyton Jones at 2026-07-21T20:45:24+01:00

  Added an intro section
  

79 changed files:

• + ExactPrint.md
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Core/Class.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Hs.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/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/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/TyCl/Class.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/Types/Origin.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/BooleanFormula.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.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/printer/AnnotationNoListTuplePuns.stdout
• + testsuite/tests/printer/Haddock1.hs
• testsuite/tests/printer/Makefile
• testsuite/tests/printer/T18791.stderr
• testsuite/tests/printer/Test20297.stdout
• 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/Backends/Xhtml/Decl.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.