Commit 3c916162 authored by Richard Eisenberg's avatar Richard Eisenberg Committed by Marge Bot
Browse files

Update Note references -- comments only

Follow-on from !2041.
parent 182b1199
Pipeline #12123 failed with stages
in 535 minutes and 21 seconds
...@@ -962,7 +962,7 @@ unify_ty env ty1 ty2 kco ...@@ -962,7 +962,7 @@ unify_ty env ty1 ty2 kco
| Just ty2' <- tcView ty2 = unify_ty env ty1 ty2' kco | Just ty2' <- tcView ty2 = unify_ty env ty1 ty2' kco
| CastTy ty1' co <- ty1 = if um_unif env | CastTy ty1' co <- ty1 = if um_unif env
then unify_ty env ty1' ty2 (co `mkTransCo` kco) then unify_ty env ty1' ty2 (co `mkTransCo` kco)
else -- See Note [Matching in the presence of casts] else -- See Note [Matching in the presence of casts (1)]
do { subst <- getSubst env do { subst <- getSubst env
; let co' = substCo subst co ; let co' = substCo subst co
; unify_ty env ty1' ty2 (co' `mkTransCo` kco) } ; unify_ty env ty1' ty2 (co' `mkTransCo` kco) }
...@@ -1422,7 +1422,7 @@ ty_co_match menv subst ty co lkco rkco ...@@ -1422,7 +1422,7 @@ ty_co_match menv subst ty co lkco rkco
ty_co_match menv subst ty co lkco rkco ty_co_match menv subst ty co lkco rkco
| CastTy ty' co' <- ty | CastTy ty' co' <- ty
-- See Note [Matching in the presence of casts] -- See Note [Matching in the presence of casts (1)]
= let empty_subst = mkEmptyTCvSubst (rnInScopeSet (me_env menv)) = let empty_subst = mkEmptyTCvSubst (rnInScopeSet (me_env menv))
substed_co_l = substCo (liftEnvSubstLeft empty_subst subst) co' substed_co_l = substCo (liftEnvSubstLeft empty_subst subst) co'
substed_co_r = substCo (liftEnvSubstRight empty_subst subst) co' substed_co_r = substCo (liftEnvSubstRight empty_subst subst) co'
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment