From 6b7aae6e9c00a9edb2edc404b9940777735ac1c7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 12 Sep 2021 14:22:29 +0200 Subject: [PATCH] :art: Improve check_call1 --- src/parse/check.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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; -- 2.43.0