diff options
author | Gabor Greif <ggreif@gmail.com> | 2018-06-18 14:22:54 +0200 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2018-06-18 14:41:54 +0200 |
commit | 6ac8a72f7a044f44734a0270487c3bb6fb186d53 (patch) | |
tree | 615d72e490c418f79f4fb18d1453412394247af2 /compiler/typecheck/TcRnTypes.hs | |
parent | 30b029bea9abe1f5f2855d9e7f0ae26a18cf049b (diff) | |
download | haskell-6ac8a72f7a044f44734a0270487c3bb6fb186d53.tar.gz |
Typofixes in docs and comments [ci skip]
Diffstat (limited to 'compiler/typecheck/TcRnTypes.hs')
-rw-r--r-- | compiler/typecheck/TcRnTypes.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs index d91b5e9e78..d54d71f07f 100644 --- a/compiler/typecheck/TcRnTypes.hs +++ b/compiler/typecheck/TcRnTypes.hs @@ -1763,7 +1763,7 @@ Example 1: (c Int), where c :: * -> Constraint. We can't do anything Example 2: a ~ b, where a :: *, b :: k, where k is a kind variable We don't want to use this to substitute 'b' for 'a', in case - 'k' is subequently unifed with (say) *->*, because then + 'k' is subsequently unifed with (say) *->*, because then we'd have ill-kinded types floating about. Rather we want to defer using the equality altogether until 'k' get resolved. |