ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

TcValidity

Documentation

checkConsistentFamInst Source

Arguments

:: Maybe (Class, VarEnv Type)

Class of associated type and instantiation of class TyVars

-> TyCon

Family tycon

-> [TyVar]

Type variables of the family instance

-> [Type]

Type patterns from instance

-> TcM () 

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