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

Commits:

• 43dd2b15
  by Recursion Ninja at 2026-07-21T17:09:53-04:00

  Resolving many TTG related orphan type-class instances
  
  This is part a technical debt removal effort made possible now
  that separating out the AST via TTG has come to a close.
  
  As the AST in 'L.H.S' has been incrementally separated from the GHC internals,
  there are many accumulated orphan instance of 'Binary', 'NFData', 'Outputable',
  and 'Uniquable'. The orphan instance of data-types from within 'L.H.S' have had
  their orphan instances moved to either:
    1. The module which defines the data-type
    2. The module which defines the type-class;
       i.e. moving an orphan 'Binary' instance to 'GHC.Utils.Binary'
  
  Orphan instances resolved (37):
  
    | Data-type            | Resolved instance(s)       | Former orphan module(s)   |
    | -------------------- | -------------------------- | ------------------------- |
    | Role                 | Binary, NFData, Outputable | GHC.Core.Coercion.Axiom   |
    | SrcStrictness        | Binary, NFData, Outputable | GHC.Core.DataCon          |
    | SrcUnpackedness      | Binary, NFData, Outputable | GHC.Core.DataCon          |
    | Fixity               | Binary, Outputable         | GHC.Hs.Basic              |
    | FixityDirection      | Binary, Outputable         | GHC.Hs.Basic              |
    | LexicalFixity        | Outputable                 | GHC.Hs.Basic              |
    | CCallTarget          | NFData                     | GHC.Hs.Decls.Foreign      |
    | CType                | NFData                     | GHC.Hs.Decls.Foreign      |
    | Header               | NFData                     | GHC.Hs.Decls.Foreign      |
    | OverlapMode          | Binary, NFData             | GHC.Hs.Decls.Overlap      |
    | WithHsDocIdentifiers | NFData, Outputable         | GHC.Hs.Doc                |
    | HsDocString          | NFData                     | GHC.Hs.DocString          |
    | HsDocStringChunk     | Binary, Outputable         | GHC.Hs.DocString          |
    | HsDocStringDecorator | Binary, Outputable         | GHC.Hs.DocString          |
    | NamespaceSpecifier   | Outputable                 | GHC.Hs.ImpExp             |
    | ForAllTyFlag         | Binary, NFData, Outputable | GHC.Hs.Specificity        |
    | Specificity          | Binary, NFData             | GHC.Hs.Specificity        |
    | PromotionFlag        | Binary, Outputable         | GHC.Types.Basic           |
    | FieldLabelString     | Outputable, Uniquable      | GHC.Types.FieldLabel      |
    | InlinePragma         | Binary                     | GHC.Types.InlinePragma    |
  
  -------------------------
  Metric Decrease:
      hard_hole_fits
  -------------------------
  
  Closes #21262, #27469
  

• ab9ab895
  by Cheng Shao at 2026-07-21T17:10:53-04:00

  rts: always use StgInt to represent cost center id
  
  Currently cost center id is modeled as `Int` and it should be `StgInt`
  uniformly in the RTS, hence this patch. Fixes #27524.
  

• 034c515c
  by Cheng Shao at 2026-07-22T07:00:21-04:00

  hadrian: clean up stale cabal package flags in the tree
  
  This patch cleans up stale cabal package flags in the tree and related
  hadrian/autoconf logic. Closes #27474.
  
  Co-authored-by: Codex <codex@openai.com>
  

• b4e8470a
  by Sasha Bogicevic at 2026-07-22T07:00:21-04:00

  parser: don't suggest ImportQualifiedPost when it is already enabled
  
  -Wprepositive-qualified-module unconditionally attached a hint to
  enable ImportQualifiedPost, even when the extension was already on
  (as it is by default under GHC2021). Record the extension's state in
  the PsWarnImportPreQualified diagnostic and drop the hint when it is
  already enabled.
  
  Fixes #27380
  

47 changed files:

• + changelog.d/27380
• compiler/GHC/Core/Coercion/Axiom.hs
• compiler/GHC/Core/DataCon.hs
• compiler/GHC/Hs/Basic.hs
• compiler/GHC/Hs/Decls/Overlap.hs
• compiler/GHC/Hs/Doc.hs
• compiler/GHC/Hs/DocString.hs
• compiler/GHC/Hs/ImpExp.hs
• − compiler/GHC/Hs/Specificity.hs
• compiler/GHC/Parser/Errors/Ppr.hs
• compiler/GHC/Parser/Errors/Types.hs
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Types/Basic.hs
• compiler/GHC/Types/FieldLabel.hs
• compiler/GHC/Types/Fixity.hs
• compiler/GHC/Types/ForeignCall.hs
• compiler/GHC/Types/InlinePragma.hs
• compiler/GHC/Types/Unique.hs
• compiler/GHC/Types/Var.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Outputable.hs
• compiler/Language/Haskell/Syntax/Basic.hs
• compiler/Language/Haskell/Syntax/Decls/Foreign.hs
• compiler/Language/Haskell/Syntax/Doc.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• compiler/Language/Haskell/Syntax/Specificity.hs
• compiler/ghc.cabal.in
• configure.ac
• distrib/configure.ac.in
• hadrian/cfg/system.config.host.in
• hadrian/cfg/system.config.target.in
• hadrian/src/Oracles/Flag.hs
• hadrian/src/Rules/Generate.hs
• hadrian/src/Settings/Packages.hs
• m4/fp_check_pthreads.m4
• rts/Profiling.c
• rts/Trace.c
• rts/Trace.h
• rts/eventlog/EventLog.c
• rts/eventlog/EventLog.h
• rts/rts.cabal
• testsuite/tests/count-deps/CountDepsParser.stdout
• + testsuite/tests/module/T27380.hs
• + testsuite/tests/module/T27380.stderr
• testsuite/tests/module/all.T
• testsuite/tests/module/mod184.stderr

The diff was not included because it is too large.