diff options
author | Gabor Greif <ggreif@gmail.com> | 2017-09-25 12:31:12 +0200 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2017-09-26 11:13:14 +0200 |
commit | 7446c7f68bd5addd2f2db0d8d5910fb963869c47 (patch) | |
tree | 05ecf5d25cdecb2893424cd07b0e7002b32ea2c4 /compiler/types/Unify.hs | |
parent | 2f8e6e7f8696213b95e3461224909c3b2ec4f7aa (diff) | |
download | haskell-7446c7f68bd5addd2f2db0d8d5910fb963869c47.tar.gz |
A bunch of typofixes
Diffstat (limited to 'compiler/types/Unify.hs')
-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 5fba83fef5..457d012504 100644 --- a/compiler/types/Unify.hs +++ b/compiler/types/Unify.hs @@ -394,7 +394,7 @@ tcUnifyTyKis bind_fn tys1 tys2 type UnifyResult = UnifyResultM TCvSubst data UnifyResultM a = Unifiable a -- the subst that unifies the types | MaybeApart a -- the subst has as much as we know - -- it must be part of an most general unifier + -- it must be part of a most general unifier -- See Note [The substitution in MaybeApart] | SurelyApart deriving Functor @@ -711,7 +711,7 @@ Consider this: type instance Foo MkG = False We would like that to be accepted. For that to work, we need to introduce -a coercion variable on the left an then use it on the right. Accordingly, +a coercion variable on the left and then use it on the right. Accordingly, at use sites of Foo, we need to be able to use matching to figure out the value for the coercion. (See the desugared version: |