From: Jérémie Astor <fennecdjay@gmail.com>
Date: Sun, 12 Sep 2021 12:22:29 +0000 (+0200)
Subject: :art: Improve check_call1
X-Git-Tag: nightly~446
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6b7aae6e9c00a9edb2edc404b9940777735ac1c7;p=gwion.git

:art: Improve check_call1
---

diff --git a/src/parse/check.c b/src/parse/check.c
index 51dbad9e..599ee072 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -836,8 +836,9 @@ ANN Type check_exp_call1(const Env env, Exp_Call *const exp) {
           CHECK_BO(ensure_check(env, func->value_ref->from->owner_class));
         else {
           const m_uint scope = env_push(env, NULL, func->value_ref->from->owner);
-          CHECK_BO(check_func_def(env, func->def));
+          const m_bool ret = check_func_def(env, func->def);
           env_pop(env, scope);
+          CHECK_BO(ret);
         }
       }
     exp->func->type = func->value_ref->type;