Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC

Commits:

• a8fc5b7c
  by Recursion Ninja at 2026-07-03T20:58:48-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
  

• 8e8b544d
  by mangoiv at 2026-07-03T20:58:49-04:00

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

• b63e09c2
  by Zubin Duggal at 2026-07-03T20:58:49-04:00

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

• c21dbf5c
  by sheaf at 2026-07-03T20:58:51-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.
  

51 changed files:

• .gitlab/test-metrics.sh
• changelog.d/semaphore-v2
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Hs.hs
• compiler/GHC/Hs/Doc.hs
• − compiler/GHC/Hs/Doc.hs-boot
• compiler/GHC/Hs/DocString.hs
• compiler/GHC/Hs/Extension.hs
• + compiler/GHC/Hs/Extension/Pass.hs
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/HaddockLex.x
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Doc.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Tc/Errors/Hole.hs
• compiler/GHC/Tc/Errors/Hole/FitTypes.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Types/Basic.hs
• compiler/Language/Haskell/Syntax.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
• 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/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr
• testsuite/tests/parser/should_compile/T23315/T23315.stderr
• testsuite/tests/showIface/DocsInHiFile1.stdout
• testsuite/tests/showIface/HaddockSpanIssueT24378.stdout
• testsuite/tests/showIface/MagicHashInHaddocks.stdout
• testsuite/tests/showIface/NoExportList.stdout
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Utils.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.