Ben Gamari pushed to branch wip/backports-9.14 at Glasgow Haskell Compiler / GHC

Commits:

• 02e4586a
  by Ben Gamari at 2025-10-27T07:40:16-04:00

  Bump unix to 2.8.8.0
  

• f3f5f61e
  by Teo Camarasu at 2025-10-27T07:45:28-04:00

  ghc-internal: invert dependency of GHC.Internal.TH.Syntax on Data.Data
  
  This means that Data.Data no longer blocks building TH.Syntax, which
  allows greater parallelism in our builds.
  
  We move the Data.Data.Data instances to Data.Data. Quasi depends on
  Data.Data for one of its methods, so,
  we split the Quasi/Q, etc definition out of GHC.Internal.TH.Syntax
  into its own module. This has the added benefit of splitting up this
  quite large module.
  
  Previously TH.Syntax was a bottleneck when compiling ghc-internal. Now
  it is less of a bottle-neck and is also slightly quicker to
  compile (since it no longer contains these instances) at the cost of
  making Data.Data slightly more expensive to compile.
  TH.Lift which depends on TH.Syntax can also compile quicker and no
  longer blocks ghc-internal finishing to compile.
  
  Resolves #26217
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesTH_OneShot
      T13253
      T21839c
      T24471
  Metric Increase:
      T12227
  -------------------------
  

• fd7321d0
  by Teo Camarasu at 2025-10-27T07:45:28-04:00

  Add submodules for template-haskell-lift and template-haskell-quasiquoter
  
  These two new boot libraries expose stable subsets of the
  template-haskell interface.
  
  This is an implemenation of the GHC proposal https://github.com/ghc-proposals/ghc-proposals/pull/696
  
  Work towards #25262
  
  (cherry picked from commit 4be32153febff94f9c89f7f74971da3721d19c87)
  

• fe7b3da0
  by Ben Gamari at 2025-10-27T07:45:28-04:00

  testsuite: Accept new base-exports output
  

• 88003139
  by Ben Gamari at 2025-10-27T07:45:28-04:00

  template-haskell: Accept T15321
  

• 3dad0b24
  by Ben Gamari at 2025-10-27T07:45:28-04:00

  testsuite: Accept new template-haskell-exports output
  

43 changed files:

• .gitmodules
• compiler/GHC/Builtin/Names/TH.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Rename/Splice.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Gen/Splice.hs-boot
• compiler/GHC/Tc/Types/TH.hs
• hadrian/src/Packages.hs
• hadrian/src/Settings/Default.hs
• libraries/base/src/Data/Array/Byte.hs
• libraries/base/src/Data/Fixed.hs
• + libraries/ghc-boot-th/GHC/Boot/TH/Monad.hs
• libraries/ghc-boot-th/ghc-boot-th.cabal.in
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/src/GHC/Internal/Data/Data.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lib.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lift.hs
• + libraries/ghc-internal/src/GHC/Internal/TH/Monad.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Quote.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Syntax.hs
• libraries/ghci/GHCi/Message.hs
• libraries/ghci/GHCi/TH.hs
• + libraries/template-haskell-lift
• + libraries/template-haskell-quasiquoter
• libraries/template-haskell/Language/Haskell/TH/Quote.hs
• libraries/template-haskell/Language/Haskell/TH/Syntax.hs
• libraries/unix
• testsuite/tests/deriving/should_compile/T14682.stderr
• testsuite/tests/deriving/should_compile/drv-empty-data.stderr
• 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/interface-stability/ghc-experimental-exports.stdout
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• testsuite/tests/plugins/plugins10.stdout
• testsuite/tests/splice-imports/SI29.stderr
• testsuite/tests/th/T11452.stderr
• testsuite/tests/th/T15321.stderr
• testsuite/tests/th/T7276.stderr
• testsuite/tests/th/TH_NestedSplicesFail3.stderr
• testsuite/tests/th/TH_NestedSplicesFail4.stderr

The diff was not included because it is too large.