Simon Peyton Jones pushed to branch wip/substitution-via-mapper at Glasgow Haskell Compiler / GHC Commits: cabfd30c by Simon Peyton Jones at 2026-09-08T11:45:51+01:00 Wibbles - - - - - 2 changed files: - compiler/GHC/Core/Coercion.hs - compiler/GHC/Core/Type.hs Changes: ===================================== compiler/GHC/Core/Coercion.hs ===================================== @@ -156,7 +156,6 @@ import GHC.Types.SrcLoc import GHC.Types.Unique.FM -import GHC.Builtin.KnownKeys import GHC.Builtin.WiredIn.Prim import GHC.Data.FastString ===================================== compiler/GHC/Core/Type.hs ===================================== @@ -226,20 +226,15 @@ import GHC.Types.Basic -- Many things are reexported, but not the representation! import GHC.Core.TyCo.Rep +import GHC.Core.TyCo.Make import GHC.Core.TyCo.Subst import GHC.Core.TyCo.FVs import GHC.Core.TyCon import GHC.Core.Coercion.Axiom import {-# SOURCE #-} GHC.Core.Coercion - ( mkNomReflCo, mkGReflCo, mkReflCo - , mkTyConAppCo, mkAppCo - , mkForAllCo, mkFunCo2, mkAxiomCo, mkUnivCo - , mkSymCo, mkTransCo, mkSelCo, mkLRCo, mkInstCo - , mkKindCo, mkSubCo, mkFunCo, funRole - , decomposePiCos + ( isReflexiveCo , coercionRKind, coercionType - , isReflexiveCo, seqCo , topNormaliseNewType_maybe ) @@ -253,9 +248,8 @@ import GHC.Builtin.WiredIn.Prim import {-# SOURCE #-} GHC.Builtin.WiredIn.Types ( charTy, naturalTy , typeSymbolKind, liftedTypeKind, unliftedTypeKind - , constraintKind, zeroBitTypeKind , manyDataConTy, oneDataConTy - , liftedRepTy, unliftedRepTy, zeroBitRepTy ) + , liftedRepTy ) import GHC.Types.Name( Name, hasKnownKey ) import GHC.Builtin.KnownKeys View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/cabfd30c53b023420eaa5aa8d696f5da... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/cabfd30c53b023420eaa5aa8d696f5da... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help