isFFIDotnetTy, -- :: DynFlags -> Type -> Bool
isFFIDotnetObjTy, -- :: Type -> Bool
isFFITy, -- :: Type -> Bool
+ isFunPtrTy, -- :: Type -> Bool
tcSplitIOType_maybe, -- :: Type -> Maybe Type
toDNType, -- :: Type -> DNType
-- others:
import DynFlags
-import CoreSyn
import Name
import NameSet
import VarEnv
(_, t_ty) = tcSplitForAllTys ty
check_tc tc = getName tc == objectTyConName
+isFunPtrTy :: Type -> Bool
+isFunPtrTy = checkRepTyConKey [funPtrTyConKey]
+
toDNType :: Type -> DNType
toDNType ty
| isStringTy ty = DNString