Searched refs:wrap_arg_tys (Results 1 – 4 of 4) sorted by relevance
641 = do { wrap_args <- mapM newLocal wrap_arg_tys709 wrap_arg_tys = theta ++ orig_arg_tys function710 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys
682 = do { wrap_args <- mapM newLocal wrap_arg_tys751 wrap_arg_tys = (map unrestricted theta) ++ orig_arg_tys function752 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys
702 = do { wrap_args <- mapM newLocal wrap_arg_tys771 wrap_arg_tys = (map unrestricted theta) ++ orig_arg_tys function772 wrap_arity = count isCoVar ex_tvs + length wrap_arg_tys