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

Commits:

• bedc1004
  by Cheng Shao at 2025-08-26T09:31:18-04:00

  compiler: use zero cost coerce in hoopl setElems/mapToList
  
  This patch is a follow-up of !14680 and changes setElems/mapToList in
  GHC/Cmm/Dataflow/Label to use coerce instead of mapping mkHooplLabel
  over the keys.
  

• 13250d97
  by Ryan Scott at 2025-08-26T09:31:59-04:00

  Reject infix promoted data constructors without DataKinds
  
  In the rename, make sure to apply the same `DataKinds` checks for both
  `HsTyVar` (for prefix promoted data constructors) and `HsOpTy` (for infix
  promoted data constructors) alike.
  
  Fixes #26318.
  

• e8cb05c1
  by Teo Camarasu at 2025-08-26T10:03:33-04:00

  tests: disable T22859 under LLVM
  
  This test was failing under the LLVM backend since the allocations
  differ from the NCG.
  
  Resolves #26282
  

• 834f807a
  by Teo Camarasu at 2025-08-26T10:03:34-04:00

  base-exports: update version numbers
  
  As the version of the compiler has been bumped, a lot of the embedded
  version numbers will need to be updated if we ever run this test with
  `--test-accept` so let's just update them now, and keep future diffs
  clean.
  

11 changed files:

• compiler/GHC/Cmm/Dataflow/Label.hs
• compiler/GHC/Rename/HsType.hs
• docs/users_guide/9.16.1-notes.rst
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
• testsuite/tests/interface-stability/base-exports.stdout-mingw32
• testsuite/tests/interface-stability/base-exports.stdout-ws-32
• testsuite/tests/rts/all.T
• + testsuite/tests/typecheck/should_fail/T26318.hs
• + testsuite/tests/typecheck/should_fail/T26318.stderr
• testsuite/tests/typecheck/should_fail/all.T

The diff was not included because it is too large.