Teo Camarasu pushed to branch wip/T26217 at Glasgow Haskell Compiler / GHC

Commits:

• a24d7fa2
  by Teo Camarasu at 2025-08-18T22:00:48+01: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.
  
  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.
  
  We split the Quasi/Q, etc definition out of GHC.Internal.TH.Syntax
  into its own module.
  
  We do this for a few reasons:
  - it enables future refactors to speed up compilation of these modules.
  - it reduces the size of this very large module.
  - it clarifies which modules in the GHC tree depend on the TH monads (Q/Quasi, etc) and
  which just care about the syntax tree.
  
  A step towards addressing: #26217
  
  Resolves #26217
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesTH_OneShot
      T13253
      T21839c
      T24471
  Metric Increase:
      T12227
  -------------------------
  

• 8b73868c
  by Teo Camarasu at 2025-08-18T22:02:34+01:00

  compiler: delete unused names in Builtins.Names.TH
  
  returnQ and bindQ are no longer used in the compiler.
  There was also a very old comment that referred to them that I have modernized
  

33 changed files:

• compiler/GHC/Builtin/Names/TH.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/HsToCore/Quote.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
• 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/Language/Haskell/TH/Quote.hs
• libraries/template-haskell/Language/Haskell/TH/Syntax.hs
• 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/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.