From: Jérémie Astor <fennecdjay@gmail.com>
Date: Tue, 26 Apr 2022 19:15:11 +0000 (+0200)
Subject: :art: Improve partial
X-Git-Tag: nightly~275^2~39
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e9ef69d3ceab6f208c90062821f7553f29c0f6ca;p=gwion.git

:art: Improve partial
---

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index 78ed4caa..5ce11242 100644
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -256,7 +256,6 @@ ANN static m_bool _check_lambda(const Env env, Exp_Lambda *l,
       Arg *arg  = mp_vector_at(args, Arg, i);
       arg->td = type2td(env->gwion, known_type(env, base->td), exp_self(l)->pos);
     }
-
   }
   l->def->base->td =
       type2td(env->gwion, known_type(env, fdef->base->td), exp_self(l)->pos);
diff --git a/src/parse/check.c b/src/parse/check.c
index 7fec714a..f01a3a0b 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -358,7 +358,6 @@ ANN static Type prim_id_non_res(const Env env, const Symbol *data) {
       prim_self(data)->value = env->gwion->type[et_op]->info->value;
       return env->gwion->type[et_op];
     }
-puts(s_name(*data));
     const m_str hint = (!env->func || strcmp(env->func->name, "in spork")) ?
         NULL : "vapturelist?";
     gwerr_basic(_("Invalid variable"), _("not legit at this point."), hint,
diff --git a/src/parse/partial.c b/src/parse/partial.c
index 85aab198..e5969192 100644
--- a/src/parse/partial.c
+++ b/src/parse/partial.c
@@ -79,8 +79,9 @@ ANN Func find_match(const Env env, Func func, const Exp exp, const bool implicit
         if(!is_typed_hole(env, e)) {
           const Exp next = e->next;
           e->next = NULL;
-          check_exp(env, e);
+          const m_bool ret = check_exp(env, e);
           e->next = next;
+          CHECK_OO(ret);
       } else
           CHECK_OO((e->type = known_type(env, e->d.exp_cast.td)));
         if (!func_match_inner(env, e, arg->type, implicit, specific)) break;