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
1 changed file:
Changes:
| ... | ... | @@ -840,16 +840,6 @@ substCo subst co |
| 840 | 840 | | isEmptyTCvSubst subst = co
|
| 841 | 841 | | otherwise = checkValidSubst subst [] [co] $ subst_co subst co
|
| 842 | 842 | |
| 843 | --- | Substitute within a 'Coercion' disabling sanity checks.
|
|
| 844 | --- The problems that the sanity checks in substCo catch are described in
|
|
| 845 | --- Note [The substitution invariant].
|
|
| 846 | --- The goal of #11371 is to migrate all the calls of substCoUnchecked to
|
|
| 847 | --- substCo and remove this function. Please don't use in new code.
|
|
| 848 | -substCoUnchecked :: HasDebugCallStack => Subst -> Coercion -> Coercion
|
|
| 849 | -substCoUnchecked subst co
|
|
| 850 | - | isEmptyTCvSubst subst = co
|
|
| 851 | - | otherwise = subst_co subst co
|
|
| 852 | - |
|
| 853 | 843 | -- | Substitute within several 'Coercion's
|
| 854 | 844 | -- The substitution has to satisfy the invariants described in
|
| 855 | 845 | -- Note [The substitution invariant].
|