:art: Improve partial

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index 78ed4caabd349c36d5c9c08764158964657087a5..5ce1124288270598738a417a0d9d4183b60720c8 100644 (file)
--- 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 7fec714a1fcbc899a188547b467f8da3bab49e48..f01a3a0bc649b0dab2a774d053d79e54b8129f77 100644 (file)
--- 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 85aab198ff3bbdf87bd49cc176980b5b83f3e012..e5969192c55ca5017336072cff604f44d8ac55ea 100644 (file)
--- 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;