Adam Gundry pushed to branch wip/amg/castz at Glasgow Haskell Compiler / GHC

Commits:

• 963af358
  by Adam Gundry at 2025-06-07T22:09:25+02:00

  WIP: introduce CastZ as an alternative to coercion zapping
  

50 changed files:

• compiler/GHC/Core.hs
• compiler/GHC/Core/Coercion.hs
• compiler/GHC/Core/FVs.hs
• compiler/GHC/Core/LateCC/OverloadedCalls.hs
• compiler/GHC/Core/LateCC/TopLevelBinds.hs
• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Map/Expr.hs
• compiler/GHC/Core/Opt/Arity.hs
• compiler/GHC/Core/Opt/CSE.hs
• compiler/GHC/Core/Opt/CallArity.hs
• compiler/GHC/Core/Opt/CallerCC.hs
• compiler/GHC/Core/Opt/ConstantFold.hs
• compiler/GHC/Core/Opt/CprAnal.hs
• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/Exitify.hs
• compiler/GHC/Core/Opt/FloatIn.hs
• compiler/GHC/Core/Opt/FloatOut.hs
• compiler/GHC/Core/Opt/LiberateCase.hs
• compiler/GHC/Core/Opt/OccurAnal.hs
• compiler/GHC/Core/Opt/SetLevels.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/StaticArgs.hs
• compiler/GHC/Core/Opt/WorkWrap.hs
• compiler/GHC/Core/Ppr.hs
• compiler/GHC/Core/Rules.hs
• compiler/GHC/Core/Seq.hs
• compiler/GHC/Core/SimpleOpt.hs
• compiler/GHC/Core/Stats.hs
• compiler/GHC/Core/Subst.hs
• compiler/GHC/Core/Tidy.hs
• compiler/GHC/Core/Unfold.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/CoreToStg.hs
• compiler/GHC/CoreToStg/Prep.hs
• compiler/GHC/HsToCore/Binds.hs
• compiler/GHC/HsToCore/Pmc/Solver.hs
• compiler/GHC/Iface/Rename.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Tc/Solver/Solve.hs
• compiler/GHC/Tc/Types/Evidence.hs
• compiler/GHC/Tc/Zonk/Type.hs
• docs/core-spec/CoreLint.ott
• docs/core-spec/CoreSyn.ott
• docs/core-spec/OpSem.ott

The diff was not included because it is too large.