X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsType.lhs;h=d90638136c2886f7190137a034f571b4bbf22b33;hp=e4b1267a91d2e13c802df0de9b1558865ce799f2;hb=1dc5c28c2370cc8254f024c5734f76d7e5827cd6;hpb=e944b32b8e8a88a52e22cb4daa0bdb4ebbb7793f diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs index e4b1267..d906381 100644 --- a/compiler/typecheck/TcHsType.lhs +++ b/compiler/typecheck/TcHsType.lhs @@ -613,7 +613,7 @@ tcTyVarBndrs bndrs thing_inside ----------------------------------- tcDataKindSig :: Maybe Kind -> TcM [TyVar] --- GADT decls can have a (perhpas partial) kind signature +-- GADT decls can have a (perhaps partial) kind signature -- e.g. data T :: * -> * -> * where ... -- This function makes up suitable (kinded) type variables for -- the argument kinds, and checks that the result kind is indeed *