Commit 1dc5c28c authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Spelling in a comment

parent e944b32b
......@@ -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 *
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment