From 1ef0bfbbf9fcbb091d3963692ce385296a84eb78 Mon Sep 17 00:00:00 2001 From: N5N3 <2642243996@qq.com> Date: Sun, 19 Mar 2023 05:24:51 +0800 Subject: [PATCH] Remove unused arguments. --- src/subtype.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/subtype.c b/src/subtype.c index 8b53460ecf3502..f7f338ca55aa53 100644 --- a/src/subtype.c +++ b/src/subtype.c @@ -2415,7 +2415,7 @@ static void set_bound(jl_value_t **bound, jl_value_t *val, jl_tvar_t *v, jl_sten } // subtype, treating all vars as existential -static int subtype_in_env_existential(jl_value_t *x, jl_value_t *y, jl_stenv_t *e, int R, int d) +static int subtype_in_env_existential(jl_value_t *x, jl_value_t *y, jl_stenv_t *e) { jl_varbinding_t *v = e->vars; int len = 0; @@ -2434,7 +2434,7 @@ static int subtype_in_env_existential(jl_value_t *x, jl_value_t *y, jl_stenv_t * v->right = 1; v = v->prev; } - int issub = subtype_bounds_in_env(x, y, e, R, d); + int issub = subtype_in_env(x, y, e); n = 0; v = e->vars; while (n < len) { assert(v != NULL); @@ -2527,10 +2527,10 @@ static jl_value_t *intersect_var(jl_tvar_t *b, jl_value_t *a, jl_stenv_t *e, int JL_GC_PUSH2(&ub, &root); if (!jl_has_free_typevars(a)) { save_env(e, &root, &se); - int issub = subtype_in_env_existential(bb->lb, a, e, 0, e->invdepth); + int issub = subtype_in_env_existential(bb->lb, a, e); restore_env(e, root, &se); if (issub) { - issub = subtype_in_env_existential(a, bb->ub, e, 0, e->invdepth); + issub = subtype_in_env_existential(a, bb->ub, e); restore_env(e, root, &se); } free_env(&se); @@ -2545,7 +2545,7 @@ static jl_value_t *intersect_var(jl_tvar_t *b, jl_value_t *a, jl_stenv_t *e, int ub = R ? intersect_aside(a, bb->ub, e, 1, d) : intersect_aside(bb->ub, a, e, 0, d); e->triangular--; save_env(e, &root, &se); - int issub = subtype_in_env_existential(bb->lb, ub, e, 0, e->invdepth); + int issub = subtype_in_env_existential(bb->lb, ub, e); restore_env(e, root, &se); free_env(&se); if (!issub) { @@ -3154,11 +3154,11 @@ static jl_value_t *intersect_invariant(jl_value_t *x, jl_value_t *y, jl_stenv_t jl_savedenv_t se; JL_GC_PUSH2(&ii, &root); save_env(e, &root, &se); - if (!subtype_in_env_existential(x, y, e, 0, e->invdepth)) + if (!subtype_in_env_existential(x, y, e)) ii = NULL; else { restore_env(e, root, &se); - if (!subtype_in_env_existential(y, x, e, 0, e->invdepth)) + if (!subtype_in_env_existential(y, x, e)) ii = NULL; } restore_env(e, root, &se);