:art: Remova allo_currying

diff --git a/include/env/env.h b/include/env/env.h
index 822956c47c7c16fe792bf0c77e239c5cd868fef4..7ece02a5b252f78086a149d3f3e16b272882fbea 100644 (file)
--- a/include/env/env.h
+++ b/include/env/env.h
@@ -25,7 +25,6 @@ struct Env_Scope_ {
   uint16_t       depth;
   bool           in_try;
   bool           in_loop;
-  bool           allow_curry;
 };
 
 typedef struct Env_ {

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index bdfe3e417cb6cceac368437f32bb3aca62abed06..bf7c633227d912296813abc0bb5927500d37d465 100644 (file)
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -77,7 +77,6 @@ static OP_CHECK(opck_curry) {
   const MemPool mp = env->gwion->mp;
   free_exp(mp, base.args);
   free_exp(mp, lhs);
-  env->scope->allow_curry = true;
   return check_exp_call1(env, &e->d.exp_call) ?: env->gwion->type[et_error];
 }
 

diff --git a/src/parse/check.c b/src/parse/check.c
index 849d73e83a8a65ba395c4836fb7ecaad730b0ec0..fbe0614489554dbee877fad824ebd6bac425e516 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -906,7 +906,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 (env->scope->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));