recursion-ninja pushed to branch wip/fix-26670 at Glasgow Haskell Compiler / GHC

Commits:

• 9c8251ee
  by Recursion Ninja at 2025-12-23T13:49:31-05:00

  Decoupling Language.Haskell.Syntax.Binds from GHC.Types.Basic by transfering InlinePragma types between the modules.
  
    * Moved InlinePragma data-types to Language.Haskell.Syntax.Binds.InlinePragma
  
    * Partitioned of Arity type synonyms to GHC.Types.Arity
  
    * InlinePragma is now extensible via Trees That Grow
  
    * Activation is now extensible via Trees That Grow
  
    * Maybe Arity change to more descriptive InlineSaturation data-type
  
    * InlineSaturation information removed from InlinePragma during GHS parsing pass
  
    * Cleaned up the exposed module interfaces of the new modules
  

64 changed files:

• compiler/GHC/Builtin/PrimOps/Ids.hs
• compiler/GHC/Core.hs
• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Opt/CSE.hs
• compiler/GHC/Core/Opt/CprAnal.hs
• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/OccurAnal.hs
• compiler/GHC/Core/Opt/Pipeline.hs
• compiler/GHC/Core/Opt/Pipeline/Types.hs
• compiler/GHC/Core/Opt/Simplify.hs
• compiler/GHC/Core/Opt/Simplify/Env.hs
• compiler/GHC/Core/Opt/Simplify/Iteration.hs
• compiler/GHC/Core/Opt/Simplify/Utils.hs
• compiler/GHC/Core/Opt/SpecConstr.hs
• compiler/GHC/Core/Opt/Specialise.hs
• compiler/GHC/Core/Opt/WorkWrap.hs
• compiler/GHC/Core/Ppr.hs
• compiler/GHC/Core/Rules.hs
• compiler/GHC/Core/SimpleOpt.hs
• compiler/GHC/Core/Unfold/Make.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Driver/Config/Core/Lint.hs
• compiler/GHC/Driver/Config/Core/Opt/Simplify.hs
• compiler/GHC/Hs/Binds.hs
• + compiler/GHC/Hs/Extension.hs-boot
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Binds.hs
• compiler/GHC/HsToCore/Errors/Types.hs
• compiler/GHC/HsToCore/Foreign/C.hs
• compiler/GHC/HsToCore/Foreign/JavaScript.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Make.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Tc/Deriv/Generics.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Arrow.hs
• compiler/GHC/Tc/Gen/Sig.hs
• compiler/GHC/Tc/Instance/Typeable.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/ThToHs.hs
• + compiler/GHC/Types/Arity.hs
• compiler/GHC/Types/Basic.hs
• compiler/GHC/Types/Hint.hs
• compiler/GHC/Types/Id.hs
• compiler/GHC/Types/Id/Info.hs
• compiler/GHC/Types/Id/Make.hs
• + compiler/GHC/Types/InlinePragma.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Outputable.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• + compiler/Language/Haskell/Syntax/Binds/InlinePragma.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/ghc.cabal.in
• utils/check-exact/ExactPrint.hs

The diff was not included because it is too large.