:bug: Add a check for effect list

diff --git a/src/parse/check.c b/src/parse/check.c
index b2097a0adbc8989c9bf98a8fe711d6dd3a4f1e26..baf35d0d49dcdb7fcf46c61a52b224ea2690a7b0 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -2067,7 +2067,7 @@ ANN m_bool check_ast(const Env env, Ast *ast) {
     Section * section = mp_vector_at(a, Section, i);
     CHECK_BB(check_section(env, section));
   }
-  check_unhandled(env);
+  if(vector_size(&env->scope->effects)) check_unhandled(env);
   if(env->context->extend) check_extend(env, env->context->extend);
   return GW_OK;
 }