diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-12-17 16:13:26 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-12-17 17:22:15 +0100 |
| commit | ae1f2718e795feb908fdeba87b4945f5566d6d1a (patch) | |
| tree | 09fc10dd346ddacb79b5f28abee8ce4bdad4bdbb /compiler/typecheck/TcTyClsDecls.hs | |
| parent | 922168fda3b3a3b96033a9c5d38f3fe70a99fd63 (diff) | |
| download | haskell-ae1f2718e795feb908fdeba87b4945f5566d6d1a.tar.gz | |
Typos in comments
Diffstat (limited to 'compiler/typecheck/TcTyClsDecls.hs')
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 2ff482c371..595e853037 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -1095,7 +1095,7 @@ Then in the family instance we want to KindFam (Maybe k) k' a b = T k k' a b -> Int Notice that in the third step we quantify over all the visibly-mentioned -type variables (a,b), but also over the implicitly mentioned kind varaibles +type variables (a,b), but also over the implicitly mentioned kind variables (k, k'). In this case one is bound explicitly but often there will be none. The role of the kind signature (a :: Maybe k) is to add a constraint that 'a' must have that kind, and to bring 'k' into scope. |