Zubin pushed to branch wip/9.14.2-backports at Glasgow Haskell Compiler / GHC

Commits:

• 79d89ade
  by mangoiv at 2026-07-20T14:46:27+05:30

  compiler: refactor error reporting code for ExplicitLevelImports
  
  Refactors error reporting code for ExplicitLevelImports to pass in a
  RdrName and a GlobalReaderElt to be able to report errors that are
  faithful to the source and to more precisely distinguish between names
  that are in scope from different qualifications.
  
  Fixes #27385 and #26616
  
  (cherry picked from commit 141986e3680a24b76e21a7ad4ce6290a7413c7f5)
  

• 25faabc5
  by mangoiv at 2026-07-20T14:46:27+05:30

  compiler: rename ZonkAny to UnusedType and add pretty printing logic
  
  ZonkAny is a hard to understand name for users who do not know how the
  compiler works internally. Additionally, it is confusing that ZonkAny,
  while being a concrete type *represents* a meta variable, espeically in
  the compiler output.
  This patch changes the name of ZonkAny to UnusedType which is closer to
  its intended semantics and adds special pretty printing logic to display
  this type in the same fashion the compiler displays meta variables in
  other places, whenever they leak from the implementation to the user.
  It also exports the type from ghc-internal:GHC.Internal.Types in order
  to expose documentation.
  
  Fixes #27390
  
  Co-Authored-By: Sam Derbyshire <sam.derbyshire@gmail.com>
  (cherry picked from commit a72ff58fa86172b1557e405f7246d27914fdae6e)
  

• ca3385e0
  by Zubin Duggal at 2026-07-20T14:46:27+05:30

  hadrian: Remove old package.conf files when generating new ones
  
  Old package.conf files might exists with different hashes, causing issues like #26661
  
  Fixes #26661
  
  (cherry picked from commit 5ac9ce7d3821c75e2d2cc17fae00b9e865a02987)
  

• 5925032e
  by Zubin Duggal at 2026-07-20T15:15:15+05:30

  fixup! compiler: refactor error reporting code for ExplicitLevelImports
  

• f1233ebb
  by Zubin Duggal at 2026-07-20T16:24:36+05:30

  Prepare 9.14.2
  

121 changed files:

• − changelog.d/T26978
• − changelog.d/T26979
• − changelog.d/T27046
• − changelog.d/T27047
• − changelog.d/T27123.md
• − changelog.d/T27124.md
• − changelog.d/T27131
• − changelog.d/T27182.md
• − changelog.d/T27202
• − changelog.d/T27225
• − changelog.d/T27386
• − changelog.d/bump-process
• − changelog.d/deterministic-usage-order
• − changelog.d/fix-absent-dict-projection
• − changelog.d/fix-blackhole-handling
• − changelog.d/fix-cmm-atomic-load-store
• − changelog.d/fix-compacting-gc-ap-27434
• − changelog.d/fix-exponential-case-desugar-27383
• − changelog.d/fix-finalizers-27072
• − changelog.d/fix-layout-stack-fcall
• − changelog.d/fix-peekitbl-no-tntc
• − changelog.d/fix-use-std-ap-thunk
• − changelog.d/ghc-pkg-faster-closure
• − changelog.d/jobserver-leak-fix
• − changelog.d/more-efficient-home-unit-imports-finding
• − changelog.d/reexported-module-errors
• − changelog.d/semaphore-v2
• − changelog.d/tag-inference-27005
• − changelog.d/wasm-fix-serviceworker
• − changelog.d/windows-rethrow-overlapped-exception
• compiler/GHC/Builtin/Names.hs
• compiler/GHC/Builtin/Types.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/Iface/Type.hs
• compiler/GHC/Rename/Env.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Splice.hs
• compiler/GHC/Rename/Splice.hs-boot
• compiler/GHC/Rename/Unbound.hs
• compiler/GHC/Tc/Errors.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Tc/Types.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Utils/Monad.hs
• compiler/GHC/Tc/Utils/TcType.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/Types/Name/Reader.hs
• docs/users_guide/9.14.2-notes.rst
• hadrian/src/Hadrian/Haskell/Cabal/Parse.hs
• libraries/base/base.cabal.in
• libraries/base/changelog.md
• libraries/base/src/GHC/Base.hs
• libraries/base/src/GHC/Exts.hs
• libraries/ghc-experimental/src/GHC/PrimOps.hs
• libraries/ghc-internal/src/GHC/Internal/Types.hs
• testsuite/tests/annotations/should_fail/annfail03.stderr
• testsuite/tests/annotations/should_fail/annfail04.stderr
• testsuite/tests/annotations/should_fail/annfail06.stderr
• testsuite/tests/annotations/should_fail/annfail09.stderr
• testsuite/tests/interface-stability/ghc-prim-exports.stdout
• testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32
• testsuite/tests/perf/compiler/T11068.stdout
• testsuite/tests/pmcheck/should_compile/T12957.stderr
• testsuite/tests/profiling/should_run/staticcallstack002.stdout
• testsuite/tests/quasiquotation/qq001/qq001.stderr
• testsuite/tests/quasiquotation/qq002/qq002.stderr
• testsuite/tests/quasiquotation/qq003/qq003.stderr
• testsuite/tests/quasiquotation/qq004/qq004.stderr
• testsuite/tests/quotes/LiftErrMsg.stderr
• testsuite/tests/quotes/LiftErrMsgDefer.stderr
• testsuite/tests/quotes/LiftErrMsgTyped.stderr
• testsuite/tests/quotes/T10384.stderr
• testsuite/tests/quotes/T5721.stderr
• testsuite/tests/quotes/TH_localname.stderr
• testsuite/tests/simplCore/should_compile/Makefile
• testsuite/tests/simplCore/should_compile/T13156.stdout
• testsuite/tests/splice-imports/SI03.stderr
• testsuite/tests/splice-imports/SI05.stderr
• testsuite/tests/splice-imports/SI08.stderr
• testsuite/tests/splice-imports/SI08_oneshot.stderr
• testsuite/tests/splice-imports/SI16.stderr
• testsuite/tests/splice-imports/SI18.stderr
• testsuite/tests/splice-imports/SI20.stderr
• testsuite/tests/splice-imports/SI25.stderr
• testsuite/tests/splice-imports/SI28.stderr
• testsuite/tests/splice-imports/SI29.stderr
• testsuite/tests/splice-imports/SI31.stderr
• testsuite/tests/splice-imports/SI36.stderr
• testsuite/tests/splice-imports/T26088.stderr
• testsuite/tests/splice-imports/T26090.stderr
• + testsuite/tests/splice-imports/T26616.hs
• + testsuite/tests/splice-imports/T26616.stderr
• testsuite/tests/splice-imports/all.T
• testsuite/tests/th/T16976z.stderr
• testsuite/tests/th/T17820a.stderr
• testsuite/tests/th/T17820b.stderr
• testsuite/tests/th/T17820c.stderr
• testsuite/tests/th/T17820d.stderr
• testsuite/tests/th/T17820e.stderr
• testsuite/tests/th/T21547.stderr
• testsuite/tests/th/T23829_hasty.stderr
• testsuite/tests/th/T23829_hasty_b.stderr
• testsuite/tests/th/T23829_tardy.ghc.stderr
• testsuite/tests/th/T26098_local.stderr
• testsuite/tests/th/T26098_quote.stderr
• testsuite/tests/th/T26098_splice.stderr
• testsuite/tests/th/T26099.stderr
• testsuite/tests/th/T26568.stderr
• testsuite/tests/th/T5795.stderr
• testsuite/tests/typecheck/should_fail/T13292.stderr
• + testsuite/tests/typecheck/should_fail/T27390-explicit-kinds.stderr
• + testsuite/tests/typecheck/should_fail/T27390.hs
• + testsuite/tests/typecheck/should_fail/T27390.stderr
• + testsuite/tests/typecheck/should_fail/T27390a.hs
• testsuite/tests/typecheck/should_fail/all.T

The diff was not included because it is too large.