From: Jérémie Astor <fennecdjay@gmail.com>
Date: Mon, 13 Sep 2021 10:22:24 +0000 (+0200)
Subject: :art: apms and other stuff
X-Git-Tag: nightly~445
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=606d222f9abb455268d8fee12b7270ca9047dfba;p=gwion.git

:art: apms and other stuff
---

diff --git a/ast b/ast
index 81c1475c..317a4623 160000
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit 81c1475c08c875b30bf95a9ca1e8a1bf597ff389
+Subproject commit 317a4623e5e4cd1ca5c46d84d9b53b23a5159678
diff --git a/src/emit/emit.c b/src/emit/emit.c
index 5a16afb9..3bd06805 100644
--- a/src/emit/emit.c
+++ b/src/emit/emit.c
@@ -495,7 +495,7 @@ ANN static m_bool _emit_symbol(const Emitter emit, const Symbol *data) {
     }
     return GW_OK;
   }
-  if (!strncmp(v->type->name, "Ref:[", 5)) {
+  if (!strncmp(v->type->name, "Ref:[", 5) && (!prim_exp(data)->cast_to || strncmp(prim_exp(data)->cast_to->name, "Ref:[", 5))) {
     if (exp_getvar(exp_self(prim_self(data)))) {
       const Instr instr = emit_add_instr(emit, RegPushMem);
       instr->m_val      = v->from->offset;
@@ -1513,7 +1513,8 @@ ANN m_bool emit_exp_call1(const Emitter emit, const Func f,
           back->m_val = (m_uint)f->code;
         } else
           back->m_val      = (m_uint)f;
-      }
+      } else // calling a local func not emitted yet
+        vector_pop(&emit->code->instr);
     }
   } else if ((f->value_ref->from->owner_class &&
               tflag(f->value_ref->from->owner_class, tflag_struct)) ||
@@ -1559,11 +1560,11 @@ ANN m_bool emit_exp_call1(const Emitter emit, const Func f,
       instr->execute    = SetFunc;
       instr->m_val      = (m_uint)f;
     } else {
-      const Instr back = (Instr)vector_back(&emit->code->instr);
-      if(back->execute != SetFunc) {
+//      const Instr back = (Instr)vector_back(&emit->code->instr);
+//      if(back->execute != SetFunc || back->m_val != f) {
         const Instr instr = emit_add_instr(emit, SetFunc);
         instr->m_val      = (m_uint)f;
-      }
+//      }
     }
   }
   const m_uint offset = emit_code_offset(emit);
@@ -1754,7 +1755,7 @@ ANN static m_bool emit_implicit_cast(const Emitter       emit,
 
 ANN static Instr _flow(const Emitter emit, const Exp e, const m_bool b) {
   CHECK_BO(emit_exp_pop_next(emit, e));
-  emit_exp_addref1(emit, e, -exp_size(e));
+  emit_exp_addref1(emit, e, -exp_size(e)); // ????
   struct Op_Import opi = {
       .op   = insert_symbol(b ? "@conditional" : "@unconditional"),
       .rhs  = e->type,
@@ -1796,7 +1797,6 @@ ANN static m_bool emit_upvalues(const Emitter emit, const Func func) {
     const Exp_Primary *prim = (Exp_Primary *)VKEY(map, i);
     const Value        v    = prim->value;
     CHECK_BB(emit_prim_novar(emit, prim));
-    ;
     if (isa(prim->value->type, emit->gwion->type[et_compound]) > 0) {
       if (vflag(v, vflag_fglobal) && !vflag(v, vflag_closed))
         emit_exp_addref1(emit, exp_self(prim), -v->type->size);
@@ -2168,6 +2168,7 @@ ANN static m_bool _emit_stmt_each(const Emitter emit, const Stmt_Each stmt,
 
   CHECK_BB(emit_exp(emit, stmt->exp)); // add ref?
   regpop(emit, SZ_INT);
+//  emit_exp_addref(emit, stmt->exp, 0);
   const m_uint offset = emit_local(emit, emit->gwion->type[et_int]); // array?
   emit_local(emit, emit->gwion->type[et_int]);
   emit_local(emit, emit->gwion->type[et_int]);
diff --git a/src/lib/engine.c b/src/lib/engine.c
index 3ae7db51..c3e58abd 100644
--- a/src/lib/engine.c
+++ b/src/lib/engine.c
@@ -16,7 +16,7 @@
 
 static GACK(gack_class) {
   const Type type = actual_type(shred->info->vm->gwion, t) ?: t;
-  INTERP_PRINTF("class(%s)", type->name)
+  INTERP_PRINTF("%s", type->name)
 }
 
 static GACK(gack_function) { INTERP_PRINTF("%s", t->name) }
diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index 43c4c70b..5986b038 100644
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -18,6 +18,7 @@ static OP_CHECK(opck_func_call) {
   Exp_Call    call = {.func = bin->rhs, .args = bin->lhs};
   Exp         e    = exp_self(bin);
   e->exp_type      = ae_exp_call;
+  call.apms = true;
   memcpy(&e->d.exp_call, &call, sizeof(Exp_Call));
   return check_exp_call1(env, &e->d.exp_call) ?: env->gwion->type[et_error];
 }
@@ -92,9 +93,8 @@ static OP_EMIT(opem_func_assign) {
   if (bin->rhs->type->info->func->def->base->tmpl)
     fptr_instr(emit, bin->lhs->type->info->func, 2);
   (void)emit_add_instr(emit, int_r_assign);
-  if (!is_fptr(emit->gwion, bin->lhs->type) &&
-      vflag(bin->rhs->type->info->func->value_ref, vflag_member)/*&&
-      bin->lhs->exp_type != ae_exp_td*/) {
+  if (vflag(bin->lhs->type->info->func->value_ref, vflag_member) &&
+      !is_fptr(emit->gwion, bin->lhs->type)) {
     const Instr pop = emit_add_instr(emit, RegMove);
     pop->m_val      = -SZ_INT;
     const Instr cpy = emit_add_instr(emit, Reg2Reg);
@@ -147,6 +147,12 @@ static m_bool td_match(const Env env, Type_Decl *id[2]) {
 
 ANN static m_bool fptr_args(const Env env, Func_Base *base[2]) {
   Arg_List arg0 = base[0]->args, arg1 = base[1]->args;
+  if(!base[0]->func->value_ref->from->owner_class &&
+      base[1]->func->value_ref->from->owner_class)
+    arg0 = arg0->next;
+  if(!base[1]->func->value_ref->from->owner_class &&
+      base[0]->func->value_ref->from->owner_class)
+    arg1 = arg1->next;
   while (arg0) {
     CHECK_OB(arg1);
     if (arg0->type && arg1->type)
@@ -183,21 +189,26 @@ ANN static m_bool fptr_check(const Env env, struct FptrInfo *info) {
   //    return GW_ERROR;
   const Type l_type = info->lhs->value_ref->from->owner_class;
   const Type r_type = info->rhs->value_ref->from->owner_class;
-  if (!r_type && l_type)
+  if (!r_type && l_type) {
+    if (/*!GET_FLAG(info->lhs, global) && */(!info->rhs->def->base->args ||
+isa(l_type, info->rhs->def->base->args->var_decl->value->type) < 0)
+)
     ERR_B(info->pos,
           _("can't assign member function to non member function pointer"))
-  else if (!l_type && r_type) {
-    if (!GET_FLAG(info->rhs, global))
+  } else if (!l_type && r_type) {
+    if (!GET_FLAG(info->rhs, global) && (!info->lhs->def->base->args ||
+isa(r_type, info->lhs->def->base->args->var_decl->value->type) < 0)
+)
       ERR_B(info->pos,
             _("can't assign non member function to member function pointer"))
   } else if (l_type && isa(r_type, l_type) < 0)
     ERR_B(info->pos,
           _("can't assign member function to a pointer of an other class"))
   if (vflag(info->rhs->value_ref, vflag_member)) {
-    if (!vflag(info->lhs->value_ref, vflag_member))
+    if (!vflag(info->lhs->value_ref, vflag_member) && l_type)
       ERR_B(info->pos,
             _("can't assign static function to member function pointer"))
-  } else if (vflag(info->lhs->value_ref, vflag_member))
+  } else if (vflag(info->lhs->value_ref, vflag_member) && r_type)
     ERR_B(info->pos,
           _("can't assign member function to static function pointer"))
   return GW_OK;
@@ -288,6 +299,17 @@ ANN static m_bool _check_lambda(const Env env, Exp_Lambda *l,
       env->curr->info->value = l->def->base->values;
     }
   }
+
+  if(ret < 0) {
+    Arg_List args = l->def->base->args;
+    while(args) {
+      if(!args->var_decl->value) break;
+      free_value(args->var_decl->value, env->gwion);
+      args->var_decl->value = NULL;
+      args = args->next;
+    }
+
+  }
   return ret;
 }
 
@@ -319,6 +341,8 @@ static OP_CHECK(opck_auto_fptr) {
   if (bin->rhs->exp_type != ae_exp_decl &&
       bin->rhs->d.exp_decl.td->xid != insert_symbol("auto"))
     return env->gwion->type[et_error];
+  if (bin->lhs->exp_type == ae_exp_td)
+    ERR_N(bin->lhs->pos, "can't use {/}type decl expressions{0} in auto function pointer declarations");
   // create a matching signature
   // TODO: we could check first if there a matching existing one
   Func_Base *const fbase =
@@ -332,7 +356,7 @@ static OP_CHECK(opck_auto_fptr) {
   const m_bool ret    = traverse_fptr_def(env, fptr_def);
   const Type   t      = fptr_def->type;
   free_fptr_def(env->gwion->mp, fptr_def);
-  type_remref(t, env->gwion);
+//  type_remref(t, env->gwion);
   bin->rhs->d.exp_decl.list->self->value->type = bin->rhs->type =
       bin->rhs->d.exp_decl.type                = t;
   exp_setvar(bin->rhs, 1);
diff --git a/src/lib/object_op.c b/src/lib/object_op.c
index c01ac887..4e2a1b30 100644
--- a/src/lib/object_op.c
+++ b/src/lib/object_op.c
@@ -117,7 +117,7 @@ ANN static void emit_member_func(const Emitter emit, const Exp_Dot *member) {
   if (f->def->base->tmpl)
     emit_add_instr(emit, DotTmplVal);
   else if (is_static_call(emit, exp_self(member))) {
-    if (f == emit->env->func) return;
+    if (member->is_call && f == emit->env->func) return;
     const Instr func_i = emit_add_instr(emit, f->code ? RegPushImm : SetFunc);
     func_i->m_val      = (m_uint)f->code ?: (m_uint)f;
     return;
@@ -191,7 +191,7 @@ OP_CHECK(opck_object_dot) {
         return v->type;
     if (is_class(env->gwion, v->type)) {
        const Type parent = actual_type(env->gwion, v->type);
-       if (isa(the_base, parent) > 0) { // beware templates
+       if (isa(the_base, parent) > 0 && parent->nspc) { // beware templates
           const Symbol sym = insert_symbol(env->gwion->st, "new");
           const Value ret = nspc_lookup_value1(parent->nspc, sym);
           member->xid = sym;
@@ -259,7 +259,7 @@ OP_EMIT(opem_object_dot) {
     const Instr instr = emit_add_instr(emit, RegPushImm);
     instr->m_val      = (m_uint)value->type;
   }
-  if(isa(value->type, emit->gwion->type[et_object]) > 0 &&
+  if((isa(value->type, emit->gwion->type[et_object]) > 0 || is_fptr(emit->gwion, value->type)) &&
      !exp_getvar(exp_self(member)) &&
     (GET_FLAG(value, static) || GET_FLAG(value, late))) {
     const Instr instr = emit_add_instr(emit, GWOP_EXCEPT);
diff --git a/src/lib/prim.c b/src/lib/prim.c
index 8de62077..db5e8a80 100644
--- a/src/lib/prim.c
+++ b/src/lib/prim.c
@@ -189,6 +189,10 @@ static INSTR(IntRange) {
   const m_int    end   = *(m_int *)REG(0);
   const m_int    op    = start < end ? 1 : -1;
   const m_uint   sz    = op > 0 ? end - start : start - end;
+  if(sz >= SIZE_MAX/SZ_INT) {
+    handle(shred, "RangeTooBig");
+    return;
+  }
   const M_Object array = new_array(shred->info->mp, (Type)instr->m_val, sz);
   for (m_int i = start, j = 0; i != end; i += op, ++j)
     m_vector_set(ARRAY(array), j, &i);
diff --git a/src/lib/ref.c b/src/lib/ref.c
index 9acd1820..1896241d 100644
--- a/src/lib/ref.c
+++ b/src/lib/ref.c
@@ -31,6 +31,14 @@ static OP_CHECK(opck_implicit_similar) {
   return imp->t;
 }
 
+static OP_CHECK(opck_implicit_ref) {
+  const struct Implicit *imp = (struct Implicit *)data;
+  CHECK_BN(ref_access(env, imp->e));
+  exp_setvar(imp->e, 1);
+  imp->e->cast_to = imp->t;
+  return imp->t;
+}
+
 static OP_CHECK(opck_cast_similar) {
   const Exp_Cast *cast = (Exp_Cast *)data;
   return exp_self(cast)->type;
@@ -61,6 +69,18 @@ ANN static void ref2base(Env env, const Type lhs, const Type rhs) {
   add_op(env->gwion, &opi);
 }
 
+ANN static void ref2ref(Env env, const Type lhs, const Type rhs) {
+  struct Op_Func   opfunc = {.ck = opck_implicit_ref };
+  struct Op_Import opi = {.op                      = insert_symbol("$"),
+                          .lhs                     = lhs,
+                          .ret                     = rhs,
+                          .rhs                     = rhs,
+                          .func=&opfunc, .data = eNoOp};
+  add_op(env->gwion, &opi);
+  opi.op = insert_symbol("@implicit");
+  add_op(env->gwion, &opi);
+}
+
 static OP_CHECK(opck_ref_scan) {
   struct TemplateScan *ts   = (struct TemplateScan *)data;
   struct tmpl_info     info = {
@@ -73,12 +93,21 @@ static OP_CHECK(opck_ref_scan) {
   SET_FLAG(t, abstract | ae_flag_final);
   set_tflag(t, tflag_infer);
   set_tflag(t, tflag_noret);
+  set_tflag(t, tflag_scan0);
+  set_tflag(t, tflag_scan1);
+  set_tflag(t, tflag_scan2);
+  set_tflag(t, tflag_check);
+  set_tflag(t, tflag_emit);
   const m_uint scope = env_push(env, base->info->value->from->owner_class,
                                 base->info->value->from->owner);
   mk_class(env, t, (loc_t) {});
   base2ref(env, base, t);
   ref2base(env, t, base);
+  ref2ref(env, t, t);
   env_pop(env, scope);
+  t->info->tuple = new_tupleform(env->gwion->mp, base);
+  type_addref(base);
+  vector_add(&t->info->tuple->contains, (vtype)base);
   nspc_add_type_front(t->info->value->from->owner, info.name, t);
   return t;
 }
diff --git a/src/lib/string.c b/src/lib/string.c
index e11e3efa..82b4ea1e 100644
--- a/src/lib/string.c
+++ b/src/lib/string.c
@@ -88,6 +88,10 @@ static INSTR(StringSlice) {
   }
   const m_int  op = start < end ? 1 : -1;
   const m_uint sz = op > 0 ? end - start : start - end;
+  if(sz >= SIZE_MAX/SZ_INT) {
+    handle(shred, "SliceTooBig");
+    return;
+  }
   char         c[sz + 1];
   for (m_int i = start, j = 0; i != end; i += op, ++j) c[j] = str[i];
   c[sz]                     = '\0';
diff --git a/src/parse/check.c b/src/parse/check.c
index 599ee072..f6757c51 100644
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -502,7 +502,9 @@ static Func find_func_match_actual(const Env env, Func func, const Exp args,
     while (e) {
       if (!e->type) // investigate
         return NULL;
-//      if (!strncmp(e->type->name, "Ref:[", 5)) exp_setvar(e, true);
+      if (!strncmp(e->type->name, "Ref:[", 5)) {
+if(!e->cast_to)e->cast_to = e->type;
+      }
       if (!e1) {
         if (fbflag(func->def->base, fbflag_variadic)) return func;
         CHECK_OO(func->next);
@@ -918,7 +920,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 (curried(env, exp->args))
+  if (exp->apms && curried(env, exp->args))
     return env->gwion->type[et_curry];
   if (exp->tmpl) {
     DECL_BO(const m_bool, ret, = func_check(env, exp));
@@ -1728,7 +1730,7 @@ ANN m_bool check_abstract(const Env env, const Class_Def cdef) {
   bool err = false;
   for (m_uint i = 0; i < vector_size(&cdef->base.type->nspc->vtable); ++i) {
     const Func f = (Func)vector_at(&cdef->base.type->nspc->vtable, i);
-    if (f && GET_FLAG(f->def->base, abstract)) {
+    if (f && f->def->base && GET_FLAG(f->def->base, abstract)) {
       if (!err) {
         err = true;
         gwerr_basic(_("missing function definition"),
@@ -1795,6 +1797,10 @@ ANN static bool class_def_has_body(const Env env, Ast ast) {
   return false;
 }
 
+ANN static inline bool type_is_recurs(const Type t, const Type tgt) {
+  return isa(tgt, t) > 0 || isa(t, tgt) > 0 || (tgt->info->tuple && vector_find(&tgt->info->tuple->contains, (m_uint)t) > -1);
+}
+
 ANN bool check_trait_requests(const Env env, const Type t, const ID_List list);
 ANN static m_bool _check_class_def(const Env env, const Class_Def cdef) {
   const Type t = cdef->base.type;
@@ -1825,21 +1831,41 @@ ANN static m_bool _check_class_def(const Env env, const Class_Def cdef) {
   struct scope_iter iter = {t->nspc->info->value, 0, 0};
   while (scope_iter(&iter, &value) > 0) {
     if (isa(value->type, env->gwion->type[et_compound]) < 0) continue;
+//        const Type t = array_base(value->type);
     if (value->type->nspc && !GET_FLAG(value, late)) {
       Value             v;
       struct scope_iter inner = {value->type->nspc->info->value, 0, 0};
+bool error = false;
       while (scope_iter(&inner, &v) > 0) {
         const Type tgt = array_base(v->type);
-        if(isa(tgt, t) > 0 || isa(t, tgt) > 0 || (tgt->info->tuple &&vector_find(&tgt->info->tuple->contains, (m_uint)t) > -1)) {
+//        if(isa(tgt, t) > 0 || isa(t, tgt) > 0 || (tgt->info->tuple && vector_find(&tgt->info->tuple->contains, (m_uint)t) > -1)) {
+        if(type_is_recurs(t, tgt)) {
           env_err(env, v->from->loc, _("recursive type"));
           env->context->error = false;
           env_err(env, value->from->loc, _("recursive type"));
           gw_err("use {+G}late{0} on one (or more) of the variables?\n");
-          env_set_error(env);
-          type_remref(t, env->gwion);
-          return GW_ERROR;
+//          env_set_error(env);
+vector_rem2(&t->info->tuple->contains, (m_uint)tgt);
+vector_rem2(&tgt->info->tuple->contains, (m_uint)t);
+type_remref(t, env->gwion);
+//type_remref(tgt, env->gwion);
+//nspc_add_type_front(t->nspc, insert_symbol(tgt->name), tgt);
+//nspc_add_type_front(tgt->nspc, insert_symbol(tgt->name), t);
+          set_tflag(t, tflag_infer);
+          set_tflag(tgt, tflag_infer);
+          unset_tflag(t, tflag_check);
+          unset_tflag(tgt, tflag_check);
+//value->type =  env->gwion->type[et_error];
+//v->type =  env->gwion->type[et_error];
+//env->gwion->type[et_error]->ref += 2;
+
+error = true;
+//          return GW_OK;
         }
       }
+if(error)
+//          return GW_OK;
+          return GW_ERROR;
     }
   }
   nspc_allocdata(env->gwion->mp, t->nspc);
diff --git a/src/parse/scan0.c b/src/parse/scan0.c
index d099f629..c25764c9 100644
--- a/src/parse/scan0.c
+++ b/src/parse/scan0.c
@@ -379,7 +379,7 @@ ANN static Exp arglist2exp(MemPool p, Arg_List arg, const Exp default_arg) {
   return exp;
 }
 
-ANN static Ast scan0_func_def_default(const MemPool p, const Ast ast,
+ANN2(1,2) static Ast scan0_func_def_default(const MemPool p, const Ast ast,
                                       const Ast next) {
   const Func_Def base_fdef = ast->section->d.func_def;
   Arg_List       base_arg = base_fdef->base->args, former = NULL;
@@ -388,7 +388,7 @@ ANN static Ast scan0_func_def_default(const MemPool p, const Ast ast,
       if (former) former->next = NULL;
       // use cpy_func_base?
       Func_Base *base = new_func_base(
-          p, cpy_type_decl(p, base_fdef->base->td), base_fdef->base->xid,
+          p, base_fdef->base->td ? cpy_type_decl(p, base_fdef->base->td) : NULL, base_fdef->base->xid,
           former ? cpy_arg_list(p, base_fdef->base->args) : NULL,
           base_fdef->base->flag, base_fdef->base->pos);
       const Exp efunc =
@@ -512,7 +512,7 @@ ANN m_bool scan0_ast(const Env env, Ast ast) {
       continue;
     const Ast next = ast->next;
     scan0_func_def_default(env->gwion->mp, ast, next);
-    ast = next;
+    if(!(ast = next))break;
   } while ((ast = ast->next));
   return GW_OK;
 }
diff --git a/src/parse/scan1.c b/src/parse/scan1.c
index db0e1bf3..be0f4dfa 100644
--- a/src/parse/scan1.c
+++ b/src/parse/scan1.c
@@ -54,9 +54,9 @@ ANN static m_bool check_global(const Env env, const Type t, const loc_t pos) {
 
 ANN static Type scan1_type(const Env env, Type_Decl *td) {
   DECL_OO(const Type, t, = known_type(env, td));
-  if (!env->func && env->class_def && !GET_FLAG(td, late)) {
-    CHECK_BO(type_cyclic(env, t, td));
-  }
+  const Type base = array_base(t);
+  if (!env->func && env->class_def && !GET_FLAG(td, late))
+    CHECK_BO(type_cyclic(env, base, td));
   CHECK_BO(ensure_scan1(env, t));
   return t;
 }
@@ -664,6 +664,9 @@ ANN static inline m_bool scan1_fdef_defined(const Env      env,
 }
 
 ANN static m_bool _scan1_func_def(const Env env, const Func_Def fdef) {
+  if(GET_FLAG(fdef->base, abstract) && !env->class_def)
+    ERR_B(fdef->base->pos, "file scope function can't be abstract");
+//exit(12);
   const bool   global = GET_FLAG(fdef->base, global);
   const m_uint scope  = !global ? env->scope->depth : env_push_global(env);
   if (fdef->base->td)
diff --git a/src/parse/scan2.c b/src/parse/scan2.c
index f877bc92..344526ea 100644
--- a/src/parse/scan2.c
+++ b/src/parse/scan2.c
@@ -140,6 +140,7 @@ ANN static inline m_bool scan2_exp_binary(const Env         env,
                                           const Exp_Binary *bin) {
   CHECK_BB(scan2_exp(env, bin->lhs));
   CHECK_BB(scan2_exp(env, bin->rhs));
+if(bin->rhs->exp_type == ae_exp_call)bin->rhs->d.exp_call.apms = true;
   CHECK_BB(multi_decl(env, bin->lhs, bin->op));
   return multi_decl(env, bin->rhs, bin->op);
 }
@@ -548,7 +549,7 @@ ANN m_bool _scan2_func_def(const Env env, const Func_Def fdef) {
     return GW_OK;
   if(!strcmp(s_name(fdef->base->xid), "new")) {
     if(!env->class_def)
-      ERR_B(fdef->base->pos, _("{G-}new{0} operator must be set inside {C+}class{0}"));
+      ERR_B(fdef->base->pos, _("{G+}new{0} operator must be set inside {C+}class{0}"));
     if(!fdef->base->ret_type)
       fdef->base->ret_type = env->class_def;
   }
diff --git a/src/vm/vm.c b/src/vm/vm.c
index fc9f297f..a416577f 100644
--- a/src/vm/vm.c
+++ b/src/vm/vm.c
@@ -99,16 +99,16 @@ ANN static bool unwind(const VM_Shred shred, const Symbol effect, const m_uint s
     clean_values(shred);
 //  if (!size) return true;
   if (!size) return false;
-  if (size) {
-    if (code->handlers.ptr)
-      return find_handle(shred, effect, size);
-    // there might be no more stack to unwind
-    if (shred->mem == (m_bit *)shred + sizeof(struct VM_Shred_) + SIZEOF_REG)
-//      return true;
-      return false;
-  } else
-//    return true;
+//  if (code->live_values.ptr)
+//    clean_values(shred);
+  if (code->handlers.ptr)
+    return find_handle(shred, effect, size);
+  // there might be no more stack to unwind
+  if (shred->mem == (m_bit *)shred + sizeof(struct VM_Shred_) + SIZEOF_REG)
     return false;
+//  else
+//    return true;
+//    return false;
   shred_unwind(shred);
   return unwind(shred, effect, size - 1);
 }
@@ -117,6 +117,8 @@ ANN static void trace(VM_Shred shred, const m_uint size) {
   const m_uint line = vector_at(&shred->info->line, size - 1);
   m_uint       i;
   bool         can_skip = false;
+//printf("size %lu\n", size);
+if(!size)return;
   for (i = size; --i;) {
     const m_uint val = VPTR(&shred->info->line, i - 1);
     if (!val)
@@ -278,9 +280,10 @@ ANN static VM_Shred init_fork_shred(const VM_Shred shred, const VM_Code code,
   return ME(o);
 }
 
+#define handle(a, b) VM_OUT handle(a, b);
 #define TEST0(t, pos)                                                          \
   if (!*(t *)(reg - pos)) {                                                    \
-    shred->pc = PC;                                                            \
+/*    shred->pc = PC;*/                                                            \
     handle(shred, "ZeroDivideException");                                      \
     break;                                                                     \
   }
@@ -941,7 +944,7 @@ vm_run(const VM *vm) { // lgtm [cpp/use-of-goto]
       DISPATCH()
     overflow:
       if (overflow_(mem + VAL2, shred)) {
-        shred->pc = PC;
+//        shred->pc = PC;
         handle(shred, "StackOverflow");
         continue;
       }
@@ -1050,7 +1053,7 @@ vm_run(const VM *vm) { // lgtm [cpp/use-of-goto]
       if (idx < 0 || (m_uint)idx >= m_vector_size(ARRAY(a.obj))) {
         gw_err(_("{-}  ... at index {W}[{Y}%" INT_F "{W}]{0}\n"), idx);
         //    gw_err(_("  ... at dimension [%" INT_F "]\n"), VAL);
-        VM_OUT
+//        VM_OUT
         handle(shred, "ArrayOutofBounds");
         continue; // or break ?
       }
@@ -1106,7 +1109,6 @@ vm_run(const VM *vm) { // lgtm [cpp/use-of-goto]
        *  VAL2 = error message                         *
        * grep for GWOP_EXCEPT and Except, exception... */
       if (!*(m_bit **)(reg + (m_int)(VAL))) {
-        shred->pc = PC;
         handle(shred, "NullPtrException");
         continue;
       }
@@ -1254,7 +1256,7 @@ vm_run(const VM *vm) { // lgtm [cpp/use-of-goto]
       // this should check the *xid* of the exception
       DISPATCH();
     performeffect:
-      VM_OUT
+//      VM_OUT
       handle(shred, (m_str)VAL);
       break;
     noop: