:bug: Fix check_exp

diff --git a/src/parse/check.c b/src/parse/check.c
index 1a20886b53123e92b7bfe618798fc33c03212249..1337c3251349364810a95c588a840eb2181408f1 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -1071,7 +1071,7 @@ ANN Type check_exp(const Env env, const Exp exp) {
       CHECK_OO((curr->type = check_exp_func[curr->exp_type](env, &curr->d)));
       if (env->func && isa(curr->type, env->gwion->type[et_lambda]) < 0 &&
           isa(curr->type, env->gwion->type[et_function]) > 0 &&
-          !fflag(curr->type->info->func, fflag_pure))
+          !safe_fflag(curr->type->info->func, fflag_pure))
         unset_fflag(env->func, fflag_pure);
     } while ((curr = curr->next));
   }