ghc-7.6.2: The GHC API

Safe HaskellNone

TcMType

Documentation

type TcTyVar = TyVar

type TcKind = Kind

type TcType = Type

data Rank

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

zonkCt :: Ct -> TcM Ct