ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcHsType

Synopsis

Documentation

kcHsTyVarBndrs Source

Arguments

:: Bool

True = the decl being checked has a CUSK

-> LHsTyVarBndrs Name 
-> TcM (Kind, r)

the result kind, possibly with other info

-> TcM (Kind, r)

The full kind of the thing being declared, with the other info

Kind-check a LHsTyVarBndrs. If the decl under consideration has a complete, user-supplied kind signature (CUSK), generalise the result. Used in getInitialKind and in kind-checking. See also Note [Complete user-supplied kind signatures] in HsDecls.