From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Mon, 25 Feb 2019 15:11:27 +0000 (+0100)
Subject: :art: Lambda unique name
X-Git-Tag: nightly~2760^2~1
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=5e0d52b74ed8848daff0a61d0996aa19fcd213ee;p=gwion.git

:art: Lambda unique name
---

diff --git a/src/lib/func.c b/src/lib/func.c
index 5b89b2f9..24cc059c 100644
--- a/src/lib/func.c
+++ b/src/lib/func.c
@@ -65,21 +65,20 @@ ANN static Type fptr_type(Exp_Binary* bin) {
 }
 
 ANN2(1,3,4) m_bool check_lambda(const Env env, const Type owner,
-    Exp_Lambda *lambda, const Func_Def def) {
-  const m_uint scope = ((lambda->owner = owner)) ?
+    Exp_Lambda *l, const Func_Def def) {
+  const m_uint scope = ((l->owner = owner)) ?
     env_push_type(env, owner) : env->scope;
-  Arg_List base = def->arg_list, arg = lambda->arg;
+  Arg_List base = def->arg_list, arg = l->arg;
   while(base && arg) {
     arg->td = base->td;
     base = base->next;
     arg = arg->next;
   }
   if(base || arg)
-    ERR_B(lambda->self->pos, "argument number does not match for lambda")
-  lambda->def = new_func_def(def->td, insert_symbol("lambda"),
-    lambda->arg, lambda->code, def->flag);
-  const m_bool ret = traverse_func_def(env, lambda->def);
-  arg=lambda->arg;
+    ERR_B(l->self->pos, "argument number does not match for lambda")
+  l->def = new_func_def(def->td, l->name, l->arg, l->code, def->flag);
+  const m_bool ret = traverse_func_def(env, l->def);
+  arg = l->arg;
   while(arg) {
     arg->td = NULL;
     arg = arg->next;
@@ -93,16 +92,10 @@ static OP_CHECK(opck_fptr_at) {
   Exp_Binary* bin = (Exp_Binary*)data;
   bin->rhs->emit_var = 1;
   if(isa(bin->lhs->type, t_lambda) > 0) {
-    Exp_Lambda *lambda = &bin->lhs->d.exp_lambda;
-/*
-    lambda->def = new_func_def(bin->rhs->type->d.func->def->td,
-      insert_symbol("lambda"), bin->rhs->type->d.func->def->arg_list,
-      lambda->code, bin->rhs->type->d.func->def->flag);
-    CHECK_BO(traverse_func_def(env, lambda->def))
-*/
+    Exp_Lambda *l = &bin->lhs->d.exp_lambda;
     const Type owner = nspc_lookup_type1(bin->rhs->type->owner->parent,
        insert_symbol(bin->rhs->type->owner->name));
-    CHECK_BO(check_lambda(env, owner, lambda, bin->rhs->type->d.func->def))
+    CHECK_BO(check_lambda(env, owner, l, bin->rhs->type->d.func->def))
     return bin->rhs->type;
   }
   const Func l_func = bin->lhs->type->d.func;
diff --git a/src/lib/gack.c b/src/lib/gack.c
index c2e2185a..f79fed52 100644
--- a/src/lib/gack.c
+++ b/src/lib/gack.c
@@ -72,9 +72,13 @@ ANN2(1) static inline void print_object(const Type type, const M_Object obj) {
 }
 
 ANN static inline void print_func(const Type type, const m_bit* stack) {
-  const VM_Code code = isa(type, t_fptr) > 0 ?
-    *(VM_Code*)stack : type->d.func->code;
-  gw_out("%s %p", type->name, (void*)code);
+  if(type->d.func) {
+    const VM_Code code = isa(type, t_fptr) > 0 ?
+      *(VM_Code*)stack : type->d.func->code;
+    gw_out("%s %p", type->name, (void*)code ? code->name : NULL);
+  } else {
+    gw_out("%s %p", type->name, NULL);
+  }
 }
 
 ANN static void print_prim(const Type type, const m_bit* stack) {
diff --git a/src/parse/check.c b/src/parse/check.c
index 4b008075..250d878c 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -575,8 +575,8 @@ ANN static inline void set_call(const Exp e, const Func f) {
 ANN static Type check_lambda_call(const Env env, const Exp_Call *exp) {
   if(exp->args)
     CHECK_OO(check_exp(env, exp->args))
-  Exp_Lambda *lambda = &exp->func->d.exp_lambda;
-  Arg_List arg = lambda->arg;
+  Exp_Lambda *l = &exp->func->d.exp_lambda;
+  Arg_List arg = l->arg;
   Exp e = exp->args;
   while(arg && e) {
     arg->type = e->type;
@@ -585,11 +585,10 @@ ANN static Type check_lambda_call(const Env env, const Exp_Call *exp) {
   }
   if(arg || e)
     ERR_O(exp->self->pos, "argument number does not match for lambda")
-  lambda->def = new_func_def(NULL, insert_symbol("lambda"),
-    lambda->arg, lambda->code, 0);
-  CHECK_BO(traverse_func_def(env, lambda->def))
-  set_call(exp->self, lambda->def->func);
-  return lambda->def->ret_type ?: (lambda->def->ret_type = t_void);
+  l->def = new_func_def(NULL, l->name, l->arg, l->code, 0);
+  CHECK_BO(traverse_func_def(env, l->def))
+  set_call(exp->self, l->def->func);
+  return l->def->ret_type ?: (l->def->ret_type = t_void);
 }
 
 ANN Type check_exp_call1(const Env env, const Exp_Call *exp) {