ghc-7.0.4: The GHC API

TcMType

Documentation

type TcTyVar = TyVar

type TcKind = Kind

type TcType = Type

data Rank

arityErr :: Outputable a => String -> a -> Int -> Int -> SDoc