diff options
author | Richard Eisenberg <rae@richarde.dev> | 2019-11-01 10:52:00 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-02 20:17:13 -0400 |
commit | 3c9161621c6e467f53c5d4649a3c54b3cb40fbf9 (patch) | |
tree | 98c77a0a245cecea519cc65688a17a09f1d1e779 | |
parent | 182b119943d34e82f67525c4b2390557f060c5f9 (diff) | |
download | haskell-3c9161621c6e467f53c5d4649a3c54b3cb40fbf9.tar.gz |
Update Note references -- comments only
Follow-on from !2041.
-rw-r--r-- | compiler/types/Unify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index 17d5161c76..63f024a824 100644 --- a/compiler/types/Unify.hs +++ b/compiler/types/Unify.hs @@ -962,7 +962,7 @@ unify_ty env ty1 ty2 kco | Just ty2' <- tcView ty2 = unify_ty env ty1 ty2' kco | CastTy ty1' co <- ty1 = if um_unif env 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 ; let co' = substCo subst co ; unify_ty env ty1' ty2 (co' `mkTransCo` kco) } @@ -1422,7 +1422,7 @@ ty_co_match menv subst ty co lkco rkco ty_co_match menv subst ty co lkco rkco | 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)) substed_co_l = substCo (liftEnvSubstLeft empty_subst subst) co' substed_co_r = substCo (liftEnvSubstRight empty_subst subst) co' |