:bug: Exp_If must set meta

diff --git a/src/parse/check.c b/src/parse/check.c
index 81b4d5ec51d56d0267bbcd90fd0c143a2c22aac2..274cc8ccb1833c948eb7d52f4132547a1ced7423 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -883,6 +883,8 @@ ANN static Type check_exp_if(const Env env, const Exp_If* exp_if) {
     ERR_O(exp_self(exp_if)->pos,
         _("condition type '%s' does not match '%s'"),
          cond->name, ret->name)
+  if(exp_getmeta(exp_if->if_exp ?: exp_if->cond) || exp_getmeta(exp_if->else_exp))
+    exp_setmeta(exp_self(exp_if), 1);
   return ret;
 }