Language.C.Analysis.TypeCheck
pType
typeErrorOnLeft
typeError
notFound
checkScalar'
checkIntegral'
assignCompatible'
binopType'
conditionalType'
checkScalar
checkIntegral
constType
compatible
compositeType
compositeSize
sizeEqual
mergeAttrs
compositeParamDecl
compositeParamDecl'
compositeVarDecl
compositeDeclAttrs
castCompatible
assignCompatible
binopType
conditionalType
derefType
varAddrType
fieldType
tagMembers
expandAnonymous
lookupSUE
deepTypeAttrs
typeDefAttrs
sueAttrs