From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 10 May 2020 20:56:13 +0000 (+0200)
Subject: :art: Add missing file
X-Git-Tag: nightly~1587
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=632e22a23dc64b6bf5a34ca446f0562b1cd2ff2c;p=gwion.git

:art: Add missing file
---

diff --git a/src/lib/func.c b/src/lib/func.c
index 105d5678..ce84739e 100644
--- a/src/lib/func.c
+++ b/src/lib/func.c
@@ -185,7 +185,7 @@ ANN static m_bool fptr_do(const Env env, struct FptrInfo *info) {
     m_bool nonnull = GET_FLAG(info->exp->info->type, nonnull);
     CHECK_BB(fptr_check(env, info))
     DECL_OB(const Type, t, = fptr_type(env, info))
-    info->exp->info->type = !nonnull ? t : type_nonnull(env, t);
+    info->exp->info->type = !nonnull ? t : nonnul_type(env, t);
     return GW_OK;
   }
   Exp_Lambda *l = &info->exp->d.exp_lambda;
diff --git a/src/lib/vararg.c b/src/lib/vararg.c
index 9d357c00..2d252686 100644
--- a/src/lib/vararg.c
+++ b/src/lib/vararg.c
@@ -122,7 +122,7 @@ static FREEARG(freearg_vararg) {
 
 static ID_CHECK(idck_vararg) {
   if(env->func && GET_FLAG(env->func->def, variadic))
-    return type_nonnull(env, exp_self(prim)->info->type);
+    return nonnul_type(env, exp_self(prim)->info->type);
   ERR_O(exp_self(prim)->pos, _("'vararg' must be used inside variadic function"))
 }
 
diff --git a/src/parse/func_operator.c b/src/parse/func_operator.c
new file mode 100644
index 00000000..82afc43d
--- /dev/null
+++ b/src/parse/func_operator.c
@@ -0,0 +1,21 @@
+#include "gwion_util.h"
+#include "gwion_ast.h"
+#include "gwion_env.h"
+#include "vm.h"
+#include "instr.h"
+#include "object.h"
+#include "gwion.h"
+#include "operator.h"
+
+ANN void func_operator(const Func_Def fdef, struct Op_Import *opi) {
+  opi->op =fdef->base->xid;
+  const m_str str = s_name(fdef->base->xid);
+  const uint is_unary = GET_FLAG(fdef, unary) +
+    (!strcmp(str, "@conditionnal") || !strcmp(str, "@unconditionnal"));
+  const Arg_List args = fdef->base->args;
+  opi->lhs = is_unary ? NULL :
+    args ? args->var_decl->value->type : NULL;
+  opi->rhs = args ? is_unary ? args->var_decl->value->type :
+    args->next ? args->next->var_decl->value->type :
+    fdef->base->ret_type : NULL;
+}
diff --git a/src/parse/type_decl.c b/src/parse/type_decl.c
index 9771edd9..80649250 100644
--- a/src/parse/type_decl.c
+++ b/src/parse/type_decl.c
@@ -8,7 +8,7 @@
 #define STR_NONNULL ":nonnull"
 #define STRLEN_NONNULL strlen(STR_NONNULL)
 
-ANN Type type_nonnull(const Env env, const Type base) {
+ANN Type nonnul_type(const Env env, const Type base) {
   char c[strlen(base->name) + 9];
   sprintf(c, "%s%s", base->name, STR_NONNULL);
   const Symbol sym = insert_symbol(c);
@@ -58,7 +58,7 @@ ANN Type type_decl_resolve(const Env env, Type_Decl* td) {
       ERR_O(td_pos(td), _("void types can't be nonnull."))
     if(isa(ret, env->gwion->type[et_object]) < 0 && isa(ret, env->gwion->type[et_fptr]) < 0)
       return ret;
-    return type_nonnull(env, ret);
+    return nonnul_type(env, ret);
   }
   return ret;
 }