:art: Remove allow_curry

diff --git a/ast b/ast
index 27e08ede9f3da51fcea1a54c599a019a64759ec1..36d83348fe027cd0c5bb6a388f9582d80914c7cc 160000 (submodule)
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit 27e08ede9f3da51fcea1a54c599a019a64759ec1
+Subproject commit 36d83348fe027cd0c5bb6a388f9582d80914c7cc

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index 2ca87853e0a419f9a08973224dad535df5dfb523..43c4c70b241ff5b5daf6966ceb10af27218d5522 100644 (file)
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -16,7 +16,6 @@
 static OP_CHECK(opck_func_call) {
   Exp_Binary *bin  = (Exp_Binary *)data;
   Exp_Call    call = {.func = bin->rhs, .args = bin->lhs};
-  call.allow_curry = true;
   Exp         e    = exp_self(bin);
   e->exp_type      = ae_exp_call;
   memcpy(&e->d.exp_call, &call, sizeof(Exp_Call));

diff --git a/src/lib/opfunc.c b/src/lib/opfunc.c
index 1b8fc0c4a046b3e83c528da663f753344156547d..1cc26d582e4f9d5def932f11706b3878b4e47aed 100644 (file)
--- a/src/lib/opfunc.c
+++ b/src/lib/opfunc.c
@@ -114,7 +114,6 @@ base->type = t;
     self->d.exp_call.func = func;
     self->d.exp_call.args = args;
     self->d.exp_call.tmpl = NULL;
-    self->d.exp_call.allow_curry = false;
     self->exp_type = ae_exp_call;
     CHECK_BN(traverse_exp(env, self));
     return self->type;

diff --git a/src/parse/check.c b/src/parse/check.c
index 46134f151334cf8115960c08a6df93fed40b364b..6a281cf66fc358ecbe160594f3b6820c87db19fc 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -917,7 +917,7 @@ ANN2(1) static inline bool curried(const Env env, Exp exp) {
 }
 
 ANN static Type check_exp_call(const Env env, Exp_Call *exp) {
-  if (exp->allow_curry && curried(env, exp->args))
+  if (curried(env, exp->args))
     return env->gwion->type[et_curry];
   if (exp->tmpl) {
     DECL_BO(const m_bool, ret, = func_check(env, exp));