Searched refs:lintValApp (Results 1 – 3 of 3) sorted by relevance
925 ; app_ty <- lintValApp arg3 fun_ty2 arg3_ty ue2 ue31191 ; lintValApp arg fun_ty arg_ty fun_ue arg_ue }1210 = do { (con_ty', _) <- lintValApp (Var bndr) con_ty (idType bndr) zeroUE zeroUE1258 lintValApp :: CoreExpr -> LintedType -> LintedType -> UsageEnv -> UsageEnv -> LintM (LintedType, Us…1259 lintValApp arg fun_ty arg_ty fun_ue arg_ue function
936 ; app_ty <- lintValApp arg3 fun_ty2 arg3_ty ue2 ue31202 ; lintValApp arg fun_ty arg_ty fun_ue arg_ue }1221 = do { (con_ty', _) <- lintValApp (Var bndr) con_ty (idType bndr) zeroUE zeroUE1269 lintValApp :: CoreExpr -> LintedType -> LintedType -> UsageEnv -> UsageEnv -> LintM (LintedType, Us…1270 lintValApp arg fun_ty arg_ty fun_ue arg_ue function
1004 ; lintValApp arg fun_ty arg_ty }1020 = do { con_ty' <- lintValApp (Var bndr) con_ty (idType bndr)1038 lintValApp :: CoreExpr -> OutType -> OutType -> LintM OutType1039 lintValApp arg fun_ty arg_ty function