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

Commits:

• 925959db
  by Recursion Ninja at 2026-07-04T04:14:12-04:00

  Decoupling 'L.H.S' from 'GHC.Hs.Doc'
  
    * Migrated 'GHC.Hs.Doc' and 'GHC.Hs.DocString' AST defintions from 'GHC.*' namespace,
      to new 'Language.Haskell.Syntax.Doc' module in the 'L.H.S' "namespace."
    * Updated 'HsDocString to be TTG-parameterised as 'HsDocString pass'.
    * Added 'GHC.Hs.Extension.Pass': splits 'GhcPass'/'Pass' and all 'HsDocString'
      TTG instances out of 'GHC.Hs.Extension', which re-exports it unchanged
      (this is backwards compatible and prevents the introduction of a boot file).
    * Deleted 'GHC.Hs.Doc.hs-boot'; removed all 'L.H.S.*' imports of 'GHC.Hs.Doc'.
    * Updated 'GHC.Hs.DocString' to be TTG pass-parameterised throughout; moved
      'mkHsDocStringChunk'/'unpackHDSC' here (require 'GHC.Utils.Encoding').
    * Split 'GHC.Rename.Doc.rnHsDoc' from 'rnHsDocIdentifiersOnly'.
    * Updated parser, renamer, typechecker, HIE, and exact-print for new types.
    * Added 'HsDocString' TTG instances for 'DocNameI' to 'Haddock.Types'.
    * Killed the last module loop between GHC.* and LHS.*.
          - Only edges from LHS.* to GHC.Data.FastString now!
  
  Resolves #26971
  

• b7e24044
  by mangoiv at 2026-07-04T04:14:56-04:00

  ci: retry fetching test metrics
  
  Retry fetching test metrics to make the CI not fail if the services is
  temporarily unavailable
  

• 4180af3f
  by Zubin Duggal at 2026-07-04T04:15:38-04:00

  Bump semaphore-compat submodule to 2.0.1
  
  This versions includes some cruicial fixes for darwin
  

• 242d4317
  by sheaf at 2026-07-04T04:16:19-04:00

  Remove outdated comment in GHC.Data.ShortText
  
  There was a long comment in GHC.Data.ShortText about a workaround that
  was necessary when bootstrapping with GHC 9.2 and below. The actual
  logic has since been dropped, but the comment remained. This commit
  removes the vestigial comment.
  

• cc9e1417
  by Alan Zimmerman at 2026-07-04T12:43:26+01:00

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

• 0131603b
  by Alan Zimmerman at 2026-07-04T12:43:26+01:00

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

• 90fe7127
  by Alan Zimmerman at 2026-07-04T12:43:26+01:00

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

• c31c2d7c
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  Keep decls together in ClassDecl
  Keep binds and sigs together in HsValBindsLR
  
  TBD
  

• fe4e7840
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  Fix ppr for ClassDecl to include DocDs
  

• 52bec093
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  Some tidy ups of the decls stuff. Squash it in 
  

• b5ae4c2a
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  EPA: ClsInstDecl as list in GhcPs
  

• 86a7ad93
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  EPA: Remove LocatedP from OverlapMode
  

• c91e24e9
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  EPA: Remove LocatedP from CType
  

• c5cbcb2b
  by Alan Zimmerman at 2026-07-04T13:38:29+01:00

  EPA: Remove LocatedP, last use in WarningTxt
  

115 changed files:

• .gitlab/test-metrics.sh
• changelog.d/semaphore-v2
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Hs.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Decls/Overlap.hs
• compiler/GHC/Hs/Doc.hs
• − compiler/GHC/Hs/Doc.hs-boot
• compiler/GHC/Hs/DocString.hs
• compiler/GHC/Hs/Dump.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Extension.hs
• + compiler/GHC/Hs/Extension/Pass.hs
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Hs/Instances.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/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/HaddockLex.x
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Doc.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/Errors/Hole.hs
• compiler/GHC/Tc/Errors/Hole/FitTypes.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Module.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/Basic.hs
• compiler/GHC/Types/ForeignCall.hs
• compiler/GHC/Unit/Module/Warnings.hs
• compiler/Language/Haskell/Syntax.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• + compiler/Language/Haskell/Syntax/Doc.hs
• compiler/Language/Haskell/Syntax/Expr.hs-boot
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• compiler/Language/Haskell/Syntax/Type.hs
• − compiler/Language/Haskell/Syntax/Type.hs-boot
• compiler/ghc.cabal.in
• ghc/GHCi/UI.hs
• + hadrian/cfg/system.config.host
• + hadrian/cfg/system.config.target
• hadrian/src/Settings/Warnings.hs
• libraries/ghc-boot/GHC/Data/ShortText.hs
• libraries/semaphore-compat
• testsuite/tests/count-deps/CountDepsAst.stdout
• testsuite/tests/count-deps/CountDepsParser.stdout
• 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/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/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/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/T18791.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/showIface/DocsInHiFile1.stdout
• testsuite/tests/showIface/HaddockSpanIssueT24378.stdout
• testsuite/tests/showIface/MagicHashInHaddocks.stdout
• testsuite/tests/showIface/NoExportList.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/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/Types.hs

The diff was not included because it is too large.