From c8e2a7a3878ef2110006e12e13bcae10b1a40040 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 15 Dec 2019 12:34:52 +0100 Subject: [PATCH] :art: ensure (class) owner checked when calling func --- src/parse/check.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parse/check.c b/src/parse/check.c index 23815fa2..a01aa9bc 100644 --- a/src/parse/check.c +++ b/src/parse/check.c @@ -767,7 +767,7 @@ ANN Type check_exp_call1(const Env env, const Exp_Call *exp) { return check_lambda_call(env, exp); if(GET_FLAG(exp->func->type->e->d.func, ref)) { const Value value = exp->func->type->e->d.func->value_ref; - if(value->from->owner_class) + if(value->from->owner_class && !GET_FLAG(value->from->owner_class, check)) CHECK_BO(traverse_class_def(env, value->from->owner_class->e->def)) } if(exp->args) -- 2.43.0