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

Commits:

• 4588a803
  by Alan Zimmerman at 2026-06-07T22:06:43+01:00

  EPA: Rename Transform.anchorEof to addModuleCommentOrigDeltas
  
  This now matches what it actually does.
  

• 84760acf
  by Alan Zimmerman at 2026-06-07T22:06:59+01:00

  EPA: Use standard type family declaration for Anno
  

• 59cfea13
  by Alan Zimmerman at 2026-06-07T22:06:59+01:00

  TTG: Add extension points to HsConDetails
  
  In contrast to normal TTG extension points, these are indexed by the
  arg and rec type parameters, since HsConDetails is a container type
  used in various roles. Each of these uses a GhcPass based structure,
  so the overall effect is a family of pass-sensitive extension points.
  
      data HsConDetails p arg rec
        = PrefixCon !(XPrefixCon p) [arg]    -- C @t1 @t2 p1 p2 p3
        | RecCon    !(XRecCon p)    rec      -- C { x = p1, y = p2 }
        | InfixCon  !(XInfixCon p)  arg arg  -- p1 `C` p2
        | XHsConDetails !(XXHsConDetails p)
  
      type family XPrefixCon      p
      type family XRecCon         p
      type family XInfixCon       p
      type family XXHsConDetails  p
  

• 12384160
  by Alan Zimmerman at 2026-06-07T22:06:59+01:00

  EPA: remove LocatedLI / SrcSpanAnnLI
  
  These were used for module export lists, and import decl lists.
  
  Replace them with direct capture of the relevant EP Annotations in
  HsModule and ImportDecl annotation extension points.
  
  Also use the HsConDetails RecCon extension point to capture the braces
  in a record constructor
  

• d87dd8ea
  by Alan Zimmerman at 2026-06-07T22:06:59+01:00

  EPA: Remove LocatedC / SrcSpanAnnC
  
  Used for contexts
  

92 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/Docs.hs
• compiler/GHC/HsToCore/Match.hs
• compiler/GHC/HsToCore/Match/Constructor.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/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/Tc/Deriv.hs
• compiler/GHC/Tc/Deriv/Generate.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Pat.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/Tc/Zonk/Type.hs
• compiler/GHC/ThToHs.hs
• compiler/Language/Haskell/Syntax.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• compiler/Language/Haskell/Syntax/Pat.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/KindSigs.stderr
• testsuite/tests/parser/should_compile/T14189.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/Makefile
• testsuite/tests/printer/T18791.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/LexParseRn.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.