Searched refs:con_ty (Results 1 – 4 of 4) sorted by relevance
1013 lintAltBinders scrut_ty con_ty []1014 = ensureEqTys con_ty scrut_ty (mkBadPatMsg con_ty scrut_ty)1015 lintAltBinders scrut_ty con_ty (bndr:bndrs)1017 = do { con_ty' <- lintTyApp con_ty (mkTyVarTy bndr)1020 = do { con_ty' <- lintValApp (Var bndr) con_ty (idType bndr)
1202 lintAltBinders rhs_ue _case_bndr scrut_ty con_ty []1203 = do { ensureEqTys con_ty scrut_ty (mkBadPatMsg con_ty scrut_ty)1205 lintAltBinders rhs_ue case_bndr scrut_ty con_ty ((var_w, bndr):bndrs)1207 = do { con_ty' <- lintTyApp con_ty (mkTyVarTy bndr)1210 = do { (con_ty', _) <- lintValApp (Var bndr) con_ty (idType bndr) zeroUE zeroUE
1213 lintAltBinders rhs_ue _case_bndr scrut_ty con_ty []1214 = do { ensureEqTys con_ty scrut_ty (mkBadPatMsg con_ty scrut_ty)1216 lintAltBinders rhs_ue case_bndr scrut_ty con_ty ((var_w, bndr):bndrs)1218 = do { con_ty' <- lintTyApp con_ty (mkTyVarTy bndr)1221 = do { (con_ty', _) <- lintValApp (Var bndr) con_ty (idType bndr) zeroUE zeroUE
1782 = return (HsConLikeOut noExtField (RealDataCon con), con_ty)1786 = do { let (tvs, theta, rho) = tcSplitSigmaTy con_ty1797 con_ty = dataConUserType con function