From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 15 Dec 2019 11:34:52 +0000 (+0100)
Subject: :art: ensure (class) owner checked when calling func
X-Git-Tag: nightly~1989
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=c8e2a7a3878ef2110006e12e13bcae10b1a40040;p=gwion.git

:art: ensure (class) owner checked when calling func
---

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)