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

Commits:

• dcd2ea0e
  by Adam Gundry at 2025-06-09T08:50:31+02:00

  WIP: switch from CastZ to Cast + CastCoercion
  

64 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/Map/Type.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/TyCo/FVs.hs
• compiler/GHC/Core/TyCo/Ppr.hs
• compiler/GHC/Core/TyCo/Ppr.hs-boot
• compiler/GHC/Core/TyCo/Rep.hs
• compiler/GHC/Core/TyCo/Rep.hs-boot
• compiler/GHC/Core/TyCo/Subst.hs
• compiler/GHC/Core/TyCo/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/Foreign/C.hs
• compiler/GHC/HsToCore/Foreign/JavaScript.hs
• compiler/GHC/HsToCore/Foreign/Prim.hs
• compiler/GHC/HsToCore/Foreign/Wasm.hs
• compiler/GHC/HsToCore/Pmc/Solver.hs
• compiler/GHC/HsToCore/Utils.hs
• compiler/GHC/Iface/Rename.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/Iface/Type.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Tc/Instance/Class.hs
• compiler/GHC/Tc/Solver/Solve.hs
• compiler/GHC/Tc/Types/EvTerm.hs
• compiler/GHC/Tc/Types/Evidence.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/Types/Id/Make.hs

The diff was not included because it is too large.