ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

TcValidity

Documentation

checkConsistentFamInstSource

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 -> SDocSource