:art: capture error msg

diff --git a/src/lib/lib_func.c b/src/lib/lib_func.c
index f4ffbc0fb7b711b6c71a31c1d941c4927f3d7664..5356b2134630e3280e133f5758fa103cc5f6142a 100644 (file)
--- a/src/lib/lib_func.c
+++ b/src/lib/lib_func.c
@@ -649,7 +649,7 @@ ANN static Type fork_type(const Env env, const Exp_Unary *unary) {
 
 ANN Type upvalue_type(const Env env, Capture *cap) {
   const Value v = nspc_lookup_value1(env->curr, cap->xid);
-  if(!v)exit(3);
+  if(!v) ERR_O(cap->pos, _("non existing value")); // did_you_mean
   if(cap->is_ref && not_upvalue(env, v))
     ERR_O(cap->pos, _("can't take ref of a scoped value"));
   cap->orig = v;

diff --git a/src/parse/check.c b/src/parse/check.c
index 9c07fb5380a2a2c0d4cd048af78a99ad316e3e42..d1338583c434895f117b5cc28caab00ed63bcd53 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -1065,19 +1065,6 @@ ANN static Type check_exp_dot(const Env env, Exp_Dot *member) {
   return check_dot(env, member);
 }
 
-/*
-// enable static checking
-ANN static OP_CHECK(opck_predicate) {
-  const Exp_Call *call = (Exp_Call*)data;
-  const Exp predicate = call->args;
-const Func f = exp_self(call)->type->info->func;
-//f->def->d.code->d.stmt_code.stmt_list->stmt->d.stmt_exp.val;
-  if(predicate->exp_type != ae_exp_primary ||
-     predicate->d.prim.prim_type != ae_prim_num ||
-     !predicate->d.prim.d.num) exit(12);
-}
-*/
-
 ANN m_bool check_type_def(const Env env, const Type_Def tdef) {
   if (tdef->when) {
     set_tflag(tdef->type, tflag_contract);

diff --git a/src/vm/vm.c b/src/vm/vm.c
index 845b7b277b6e87e815c6571f7abe2cf9dd9e9ad1..26bd184c1ecc3508f3c73dc25d14f969d05ecf89 100644 (file)
--- a/src/vm/vm.c
+++ b/src/vm/vm.c
@@ -1260,8 +1260,7 @@ fflush(stdout);
   }
     PRAGMA_POP()
 } else {
-//exit(3);
-//return;
+
 static void *_dispatch[] = {
       &&_regsetimm, &&_regpushimm, &&_regpushfloat, &&_regpushother, &&_regpushaddr,
       &&_regpushmem, &&_regpushmemfloat, &&_regpushmemother, &&_regpushmemaddr,