Simon Peyton Jones pushed to branch wip/T24464 at Glasgow Haskell Compiler / GHC

Commits:

• 5aac338c
  by Simon Peyton Jones at 2026-01-16T10:26:11+00:00

  Start at moving static forms straight to top level
  
  Just for CI.  Needs documentation.
  
  Making static bindings have static constraint solving
  

44 changed files:

• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Opt/Pipeline.hs
• compiler/GHC/Core/Opt/SetLevels.hs
• compiler/GHC/Driver/Config/Core/Lint.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Syn/Type.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/HsToCore/Monad.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/HsToCore/Types.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Tidy/StaticPtrTable.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Bind.hs
• compiler/GHC/Tc/Gen/Expr.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/Pat.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/Solver.hs
• compiler/GHC/Tc/Solver/Monad.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/TyCl/Utils.hs
• compiler/GHC/Tc/Types.hs
• compiler/GHC/Tc/Types/BasicTypes.hs
• compiler/GHC/Tc/Types/Constraint.hs
• compiler/GHC/Tc/Types/Origin.hs
• compiler/GHC/Tc/Utils/Env.hs
• − compiler/GHC/Tc/Utils/TcMType.hs-boot
• compiler/GHC/Tc/Utils/Unify.hs
• compiler/GHC/Tc/Zonk/TcType.hs
• compiler/GHC/Tc/Zonk/Type.hs

The diff was not included because it is too large.