Simon Peyton Jones pushed to branch wip/T26369 at Glasgow Haskell Compiler / GHC Commits: 1af477fe by Simon Peyton Jones at 2025-08-31T09:31:32+01:00 Wibble - - - - - 1 changed file: - compiler/GHC/Core/TyCo/Subst.hs Changes: ===================================== compiler/GHC/Core/TyCo/Subst.hs ===================================== @@ -840,16 +840,6 @@ substCo subst co | isEmptyTCvSubst subst = co | otherwise = checkValidSubst subst [] [co] $ subst_co subst co --- | Substitute within a 'Coercion' disabling sanity checks. --- The problems that the sanity checks in substCo catch are described in --- Note [The substitution invariant]. --- The goal of #11371 is to migrate all the calls of substCoUnchecked to --- substCo and remove this function. Please don't use in new code. -substCoUnchecked :: HasDebugCallStack => Subst -> Coercion -> Coercion -substCoUnchecked subst co - | isEmptyTCvSubst subst = co - | otherwise = subst_co subst co - -- | Substitute within several 'Coercion's -- The substitution has to satisfy the invariants described in -- Note [The substitution invariant]. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1af477fe4c9e30f06df4449f276416ea... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1af477fe4c9e30f06df4449f276416ea... You're receiving this email because of your account on gitlab.haskell.org.