Magnus pushed to branch wip/mangoiv/26616 at Glasgow Haskell Compiler / GHC

Commits:

• de491d7f
  by mangoiv at 2026-06-23T14:35:23+02:00

  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
  

64 changed files:

• + changelog.d/26616
• compiler/GHC/Hs/Expr.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/Utils/Env.hs
• compiler/GHC/Tc/Utils/Monad.hs
• compiler/GHC/Types/Name/Reader.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/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/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

The diff was not included because it is too large.