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

Commits:

• 1aac7095
  by sheaf at 2026-08-16T04:37:16-04:00

  Avoid wasteful allocations in mkTyConAppCo
  
  The idiom "traverse isReflCo_maybe" followed by "map fst" used in
  'GHC.Core.Coercion.mkTyConAppCo' was allocating a lot of waste.
  This commit uses 'GHC.Data.Unboxed.traverseMaybeUB' to avoid all these
  unnecessary intermediate allocations.
  
  In a quick microbenchmark for 'mkTyConAppCo', this change resulted in:
    - refl case (all argument coercions are reflexive):
      - -60% runtime
      - -80% allocations
    - non-refl case:
      - from 0% to -12% runtime (depending on which argument is non-refl)
      - from 0% to -70% allocations ( -- '' -- )
  
  Fixes #27648
  
  -------------------------
  Metric Decrease:
      FamAppCachePerf
      SimplCastPerf
      T12425
      T15703
      T26426
      T3064
      T9872a
      T9872b
      T9872b_defer
      T9872c
      T9872d
      T5321Fun
      T9020
      T9630
      TcPlugin_RewritePerf
  Metric Increase:
      LinkableUsage02
  -------------------------
  

• 3915e982
  by Alan Zimmerman at 2026-08-16T04:37:58-04:00

  EPA: Remove al_trailing from AnnList
  
  It was not being used
  

• 999a903b
  by Andreas Klebinger at 2026-08-17T07:51:38-04:00

  testsuite: Use sigkill in process009.
  
  SIGHUB might have been blocked by a (grand)*parent of the test.
  In such cases the test would fail as the python process would simply
  exist gracefully instead of committing to a premature end.
  
  By using SIGKILL we can rely on the signal not being blocked, fixing #27578
  in the process.
  

• f8b3c1ce
  by Andreas Klebinger at 2026-08-17T07:51:40-04:00

  Simplify comparison in DFM.hs
  
  Fixes #27669
  

• 2667cef6
  by Alan Zimmerman at 2026-08-17T07:51:40-04:00

  TTG: Add extension points to BooleanFormula
  
  They are currently unused, but will be used for exact print
  annotations next, allowing us to get rid of LocatedBF / SrcSpanAnnBF
  

41 changed files:

• compiler/GHC/Core/Class.hs
• compiler/GHC/Core/Coercion.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Data/Unboxed.hs
• compiler/GHC/Data/Word64Map/Internal.hs
• compiler/GHC/Data/Word64Map/Lazy.hs
• compiler/GHC/Data/Word64Map/Strict.hs
• compiler/GHC/Data/Word64Map/Strict/Internal.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Tc/TyCl/Class.hs
• compiler/GHC/Types/Unique/DFM.hs
• compiler/Language/Haskell/Syntax/BooleanFormula.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• testsuite/tests/count-deps/CountDepsParser.stdout
• testsuite/tests/ghc-api/exactprint/T22919.stderr
• testsuite/tests/ghc-api/exactprint/ZeroWidthSemi.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/T15279.stderr
• testsuite/tests/parser/should_compile/T20718.stderr
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/process/process009.hs
• testsuite/tests/process/process009.stdout
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.hs
• utils/check-exact/Transform.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.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.