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

Commits:

• 86a5627d
  by Teo Camarasu at 2025-08-18T22:04:20+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.
  
  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.
  
  A step towards addressing: #26217
  
  Resolves #26217
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesTH_OneShot
      T13253
      T21839c
      T24471
  Metric Increase:
      T12227
  -------------------------
  

• a0aa39ab
  by Teo Camarasu at 2025-08-18T22:05:26+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.