Gwion coverage report

GCC Code Coverage Report
Directory:	src/		Exec	Total	Coverage
File:	src/parse/check.c	Lines:	987	1025	96.3 %
Date:	2020-09-14 20:46:08	Branches:	761	926	82.2 %

#include "gwion_util.h"
#include "gwion_ast.h"
#include "gwion_env.h"
#include "vm.h"
#include "instr.h"
#include "object.h"
#include "traverse.h"
#include "template.h"
#include "gwion.h"
#include "operator.h"
#include "import.h"
#include "parse.h"
#include "match.h"
#include "emit.h"
#include "specialid.h"

ANN static m_bool check_stmt_list(const Env env, Stmt_List list);
ANN m_bool check_class_def(const Env env, const Class_Def class_def);

ANN static m_bool check_internal(const Env env, const Symbol sym,
      const Exp e, const Type t) {
  struct Implicit imp = { .e=e, .t=t, .pos=e->pos };
  struct Op_Import opi = { .op=sym, .lhs=e->info->type,
        .rhs=t, .data=(uintptr_t)&imp, .pos=e->pos, .op_type=op_implicit };
  CHECK_OB(op_check(env, &opi))
  assert(e->info->nspc);
  return GW_OK;
}

ANN m_bool check_implicit(const Env env, const Exp e, const Type t) {
  if(e->info->type == t)
    return GW_OK;
  const Symbol sym = insert_symbol("@implicit");
  return check_internal(env, sym, e, t);
}

ANN m_bool check_subscripts(Env env, const Array_Sub array, const m_bool is_decl) {
  CHECK_OB(check_exp(env, array->exp))
  m_uint depth = 0;
  Exp e = array->exp;
  do if(is_decl)
    CHECK_BB(check_implicit(env, e, env->gwion->type[et_int]))
  while(++depth && (e = e->next));
  if(depth != array->depth)
    ERR_B(array->exp->pos, _("invalid array acces expression."))
  return GW_OK;
}

ANN static inline m_bool check_exp_decl_parent(const Env env, const Var_Decl var) {
  const Value value = find_value(env->class_def->e->parent, var->xid);
  if(value)
    ERR_B(var->pos,
          _("in class '%s': '%s' has already been defined in parent class '%s' ..."),
          env->class_def->name, s_name(var->xid),
          value->from->owner_class ? value->from->owner_class->name : "?")
  return GW_OK;
}

#define describe_check_decl(a, b)                                 \
ANN static inline void decl_##a(const Env env, const Value v) {   \
  const Nspc nspc = env->curr;\
  SET_FLAG(v, a);                                                 \
  v->from->offset = nspc->info->b;                                \
  nspc->info->b += v->type->size;                                 \
}
describe_check_decl(member, offset)
describe_check_decl(static, class_data_size)

ANN static m_bool check_fptr_decl(const Env env, const Var_Decl var) {
  const Value v    = var->value;
  Type t = v->type;
  while(GET_FLAG(t, typedef))
    t = t->e->parent;
  if(!t->e->d.func)
    return GW_ERROR;
  if(!env->class_def)
    return GW_OK;
  const Func  func = t->e->d.func;
  const Type type = func->value_ref->from->owner_class;
  if(type && isa(type, env->class_def) < 0 && !GET_FLAG(func, global))
    ERR_B(var->pos, _("can't use non global fptr of other class."))
  if(GET_FLAG(func, member) && GET_FLAG(v, static))
      ERR_B(var->pos, _("can't use static variables for member function."))
  return GW_OK;
}

ANN static inline m_bool check_td_exp(const Env env, Type_Decl *td) {
  RET_NSPC(traverse_exp(env, td->exp))
}

ANN Type check_td(const Env env, Type_Decl *td) {
  CHECK_BO(check_td_exp(env, td))
  const Type t = actual_type(env->gwion, td->exp->info->type);
  assert(t);
  if(GET_FLAG(t, template) && !GET_FLAG(t, ref))
    ERR_O(td_pos(td), _("type '%s' needs template types"), t->name)
  td->xid = insert_symbol("auto");
  return t;
}

ANN static Type no_xid(const Env env, const Exp_Decl *decl) {
  CHECK_OO((((Exp_Decl*)decl)->type = check_td(env, decl->td)))
  CHECK_BO(traverse_exp(env, exp_self(decl)))
  return decl->type;
}

ANN static m_bool check_var(const Env env, const Var_Decl var) {
  if(env->class_def && !env->scope->depth && env->class_def->e->parent)
    CHECK_BB(check_exp_decl_parent(env, var))
  if(var->array && var->array->exp)
    return check_subscripts(env, var->array, 1);
  return GW_OK;
}

ANN static m_bool check_var_td(const Env env, const Var_Decl var, Type_Decl *const td) {
  const Value v = var->value;
  if(env->class_def)  {
    if(GET_FLAG(td, member)) {
      decl_member(env, v);
      if(env->class_def->e->tuple)
        tuple_info(env, v);
    } else if(GET_FLAG(td, static))
      decl_static(env, v);
  }
  return GW_OK;
}

ANN static m_bool check_decl(const Env env, const Exp_Decl *decl) {
  Var_Decl_List list = decl->list;
  do {
    const Var_Decl var = list->self;
    CHECK_BB(check_var(env, var))
    CHECK_BB(check_var_td(env, var, decl->td))
    if(is_fptr(env->gwion, decl->type))
      CHECK_BB(check_fptr_decl(env, var))
    SET_FLAG(var->value, valid | ae_flag_used);
    nspc_add_value(env->curr, var->xid, var->value);
  } while((list = list->next));
  return GW_OK;
}

ANN static inline m_bool ensure_check(const Env env, const Type t) {
  struct EnvSet es = { .env=env, .data=env, .func=(_exp_func)check_cdef,
    .scope=env->scope->depth, .flag=ae_flag_check };
  return envset_run(&es, t);
}

ANN m_bool ensure_traverse(const Env env, const Type t) {
  struct EnvSet es = { .env=env, .data=env, .func=(_exp_func)traverse_cdef,
    .scope=env->scope->depth, .flag=ae_flag_check };
  return envset_run(&es, t);
}

ANN static inline m_bool inferable(const Env env, const Type t, const loc_t pos) {
  if(!GET_FLAG(t, infer))
    return GW_OK;
  ERR_B(pos, _("can't infer type."))
}

ANN static Type_Decl* type2td(const Env env, const Type t, const loc_t loc);
ANN Type check_exp_decl(const Env env, const Exp_Decl* decl) {
  if(!decl->td->xid)
    return no_xid(env, decl);
  if(decl->td->xid == insert_symbol("auto")) { // should be better
    SET_FLAG(decl->td, ref);
    CHECK_BO(scan1_exp(env, exp_self(decl)))
    CHECK_BO(scan2_exp(env, exp_self(decl)))
  }
  if(!decl->type)
    ERR_O(td_pos(decl->td), _("can't find type"));
  {
    const Type t = get_type(decl->type);
    CHECK_BO(inferable(env, t, td_pos(decl->td)))
    if(!GET_FLAG(t, check) && t->e->def)
      CHECK_BO(ensure_check(env, t))
  }
  const m_bool global = GET_FLAG(decl->td, global);
  const m_uint scope = !global ? env->scope->depth : env_push_global(env);
  const m_bool ret = check_decl(env, decl);
  if(global)
    env_pop(env, scope);
  return ret > 0 ? decl->list->self->value->type : NULL;
}


ANN static inline void set_cast(const Env env, Type type, const Exp e) {
  e->info->cast_to = type;
  e->info->nspc = env->curr;
}

ANN static m_bool prim_array_inner(const Env env, Type type, const Exp e) {
  const Type common = find_common_anc(e->info->type, type);
  if(common)
    return GW_OK;
  if(check_implicit(env, e, type) < 0)
    ERR_B(e->pos, _("array init [...] contains incompatible types ..."))
  set_cast(env, type, e); // ???
  return GW_OK;
}

ANN static inline Type prim_array_match(const Env env, Exp e) {
  const Type type = e->info->type;
  do CHECK_BO(prim_array_inner(env, type, e))
  while((e = e->next));
  return array_type(env, array_base(type), type->array_depth + 1);
}

ANN static Type check_prim_array(const Env env, const Array_Sub *data) {
  const Array_Sub array = *data;
  const Exp e = array->exp;
  if(!e)
    ERR_O(prim_pos(data), _("must provide values/expressions for array [...]"))
  CHECK_OO(check_exp(env, e))
  return (array->type = prim_array_match(env, e));
}

ANN static m_bool check_range(const Env env, Range *range) {
  if(range->start)
    CHECK_OB(check_exp(env, range->start))
  if(range->end)
    CHECK_OB(check_exp(env, range->end))
  if(range->start && range->end) {
    if(isa(range->end->info->type, range->start->info->type) < 0)
      ERR_B(range->start->pos, _("range types do not match"))
  }
  return GW_OK;
}

ANN static Type check_prim_range(const Env env, Range **data) {
  Range *range = *data;
  CHECK_BO(check_range(env, range))
  const Exp e = range->start ?: range->end;
  const Symbol sym = insert_symbol("@range");
  struct Op_Import opi = { .op=sym, .rhs=e->info->type, .pos=e->pos, .data=(uintptr_t)prim_exp(data), .op_type=op_exp };
  return op_check(env, &opi);
}

ANN m_bool not_from_owner_class(const Env env, const Type t,
      const Value v, const loc_t pos) {
  if(!v->from->owner_class || isa(t, v->from->owner_class) < 0) {
    ERR_B(pos,
        _("'%s' from owner namespace '%s' used in '%s'."),
            v->name, v->from->owner ? v->from->owner->name : "?", t->name)
  }
  return GW_OK;
}

ANN static Value check_non_res_value(const Env env, const Symbol *data) {
  const Symbol var = *data;
  const Value value = nspc_lookup_value1(env->curr, var);
  if(env->class_def) {
    if(value && value->from->owner_class)
      CHECK_BO(not_from_owner_class(env, env->class_def, value, prim_pos(data)))
    const Value v = value ?: find_value(env->class_def, var);
    if(v) {
      if(env->func && GET_FLAG(env->func->def, static) && GET_FLAG(v, member))
        ERR_O(prim_pos(data),
              _("non-static member '%s' used from static function."), s_name(var))
    }
    return v;
  } else if(SAFE_FLAG(env->class_def, global) || (env->func && GET_FLAG(env->func->def, global))) {
    if(!SAFE_FLAG(value, abstract))
      ERR_O(prim_pos(data),
            _("non-global variable '%s' used from global function/class."), s_name(var))
  }
  return value;
}

ANN Exp symbol_owned_exp(const Gwion gwion, const Symbol *data);

ANN static Type check_dot(const Env env, const Exp_Dot *member) {
  struct Op_Import opi = { .op=insert_symbol("@dot"), .lhs=member->t_base, .data=(uintptr_t)member,
    .pos=exp_self(member)->pos, .op_type=op_dot };
  return op_check(env, &opi);
}

static inline Nspc value_owner(const Value v) {
  return v ? v->from->owner : NULL;
}

ANN static m_bool lambda_valid(const Env env, const Exp_Primary* exp) {
  const Value val = exp->value;
  const Symbol sym = insert_symbol(val->name);
  const Vector vec = (Vector)&env->curr->info->value->ptr;
  const m_uint scope = map_get(&env->curr->info->func->map, (m_uint)env->func->def->base);
  if(GET_FLAG(val, abstract))
    return GW_OK;
  if(val->from->owner_class && isa(val->from->owner_class, env->class_def) > 0)
    return GW_OK;
  const m_uint sz = vector_size(vec);
  for(m_uint i = scope; i < sz; ++i) {
    const Map map = (Map)vector_at(vec, i);
    if(map_get(map, (m_uint)sym))
      return GW_OK;
  }
  ERR_B(exp_self(exp)->pos, _("variable '%s' is not in lambda scope"), val->name)
}

ANN static Type prim_id_non_res(const Env env, const Symbol *data) {
  const Symbol sym = *data;
  const Value v = check_non_res_value(env, data);
  if(!v || !GET_FLAG(v, valid) || (v->from->ctx && v->from->ctx->error)) {
    env_err(env, prim_pos(data),
          _("variable %s not legit at this point."), s_name(sym));
    if(v)
      did_you_mean_nspc(value_owner(v) ?: env->curr, s_name(sym));
    return NULL;
  }
  prim_self(data)->value = v;
  if(env->func) {
    if(GET_FLAG(env->func->def, abstract))
      CHECK_BO(lambda_valid(env, prim_self(data)))
  if(env->func && !GET_FLAG(v, const) && v->from->owner)
    UNSET_FLAG(env->func, pure);
  }
  SET_FLAG(v, used);
  if(GET_FLAG(v, const))
    exp_setmeta(prim_exp(data), 1);
  if(v->from->owner_class) {
    const Exp exp  = symbol_owned_exp(env->gwion, data);
    const Type ret = check_dot(env, &exp->d.exp_dot);
    prim_exp(data)->info->nspc = exp->info->nspc;
    free_exp(env->gwion->mp, exp);
    CHECK_OO(ret);
  }
  return v->type;
}

ANN Type check_prim_str(const Env env, const m_str *data) {
  if(!prim_self(data)->value)
    prim_self(data)->value = global_string(env, *data);
  return env->gwion->type[et_string];// prim->value
}

ANN static Type check_prim_id(const Env env, const Symbol *data) {
  struct SpecialId_ * spid = specialid_get(env->gwion, *data);
  if(spid)
    return specialid_type(env, spid, prim_self(data));
  return prim_id_non_res(env, data);
}

ANN static Type check_prim_typeof(const Env env, const Exp *exp) {
  const Exp e = *exp;
  DECL_OO(const Type, t, = check_exp(env, e))
  CHECK_BO(inferable(env, t, (*exp)->pos))
  const Type force = force_type(env, t);
  return type_class(env->gwion, force);
}

ANN static Type check_prim_interp(const Env env, const Exp* exp) {
  CHECK_OO(check_exp(env, *exp))
  return env->gwion->type[et_string];
}

ANN static Type check_prim_hack(const Env env, const Exp *data) {
  if(env->func)
    UNSET_FLAG(env->func, pure);
  CHECK_OO(check_prim_interp(env, data))
  return env->gwion->type[et_gack];
}

#define describe_prim_xxx(name, type) \
ANN static Type check##_prim_##name(const Env env NUSED, const union prim_data* data NUSED) {\
  return type; \
}
describe_prim_xxx(num, env->gwion->type[et_int])
describe_prim_xxx(char, env->gwion->type[et_char])
describe_prim_xxx(float, env->gwion->type[et_float])
describe_prim_xxx(nil, env->gwion->type[et_void])

#define check_prim_complex check_prim_vec
#define check_prim_polar check_prim_vec
#define check_prim_char check_prim_char
DECL_PRIM_FUNC(check, Type, Env);

ANN static Type check_prim(const Env env, Exp_Primary *prim) {
  return exp_self(prim)->info->type = check_prim_func[prim->prim_type](env, &prim->d);
}

ANN Type check_array_access(const Env env, const Array_Sub array) {
  const Symbol sym = insert_symbol("@array");
  struct Op_Import opi = { .op=sym, .lhs=array->exp->info->type, .rhs=array->type,
    .pos=array->exp->pos, .data=(uintptr_t)array, .op_type=op_array };
  return op_check(env, &opi);
}

static ANN Type check_exp_array(const Env env, const Exp_Array* array) {
  CHECK_OO((array->array->type = check_exp(env, array->base)))
  CHECK_BO(check_subscripts(env, array->array, 0))
  return check_array_access(env, array->array);
}

static ANN Type check_exp_slice(const Env env, const Exp_Slice* range) {
  CHECK_OO(check_exp(env, range->base))
  CHECK_BO(check_range(env, range->range))
  const Symbol sym = insert_symbol("@slice");
  const Exp e = range->range->start ?: range->range->end;
  struct Op_Import opi = { .op=sym, .lhs=e->info->type, .rhs=range->base->info->type,
    .pos=e->pos, .data=(uintptr_t)exp_self(range), .op_type=op_exp };
  return op_check(env, &opi);
}

ANN2(1,2,4) static Type_Decl* prepend_type_decl(MemPool mp, const Symbol xid, Type_Decl* td, const loc_t pos) {
  Type_Decl *a = new_type_decl(mp, xid, loc_cpy(mp, pos));
  a->next = td;
  return a;
}

ANN static Type_List mk_type_list(const Env env, const Type type, const loc_t pos) {
  struct Vector_ v;
  vector_init(&v);
  vector_add(&v, (vtype)insert_symbol(type->name));
  Type owner = type->e->owner_class;
  while(owner) {
    vector_add(&v, (vtype)insert_symbol(owner->name));
    owner = owner->e->owner_class;
  }
  Type_Decl *td = NULL;
  for(m_uint i = 0 ; i < vector_size(&v); ++i)
    td = prepend_type_decl(env->gwion->mp, (Symbol)vector_at(&v, i), td, pos);
  vector_release(&v);
  return new_type_list(env->gwion->mp, td, NULL);
}

ANN static m_bool func_match_inner(const Env env, const Exp e, const Type t,
  const m_bool implicit, const m_bool specific) {
  const m_bool match = (specific ? e->info->type == t : isa(e->info->type, t) > 0);
  if(!match) {
    if(e->info->type == env->gwion->type[et_lambda] && is_fptr(env->gwion, t)) {
      exp_setvar(e, 1);
      return check_lambda(env, t, &e->d.exp_lambda);
    }
    if(implicit)
      return check_implicit(env, e, t);
  }
  return match ? 1 : -1;
}

ANN2(1,2) static Func find_func_match_actual(const Env env, Func func, const Exp args,
  const m_bool implicit, const m_bool specific) {
  do {
    Exp e = args;
    Arg_List e1 = func->def->base->args;
    while(e) {
      if(!e1) {
        if(GET_FLAG(func->def, variadic))
          return func;
        CHECK_OO(func->next);
        return find_func_match_actual(env, func->next, args, implicit, specific);
      }
      if(e1->type == env->gwion->type[et_undefined] ||
            (func->def->base->tmpl && is_fptr(env->gwion, func->value_ref->type) > 0)) {
        const Type owner = func->value_ref->from->owner_class;
        if(owner)
          CHECK_BO(template_push(env, owner))
        e1->type = known_type(env, e1->td);
        if(owner)
          nspc_pop_type(env->gwion->mp, env->curr);
        CHECK_OO(e1->type)
      }
      if(func_match_inner(env, e, e1->type, implicit, specific) < 0)
        break;
      e = e->next;
      e1 = e1->next;
    }
    if(!e1)
      return func;
  } while((func = func->next));
  return NULL;
}

ANN2(1, 2) static Func find_func_match(const Env env, const Func up, const Exp exp) {
  Func func;
  const Exp args = (exp && isa(exp->info->type, env->gwion->type[et_void]) < 0) ? exp : NULL;
  if((func = find_func_match_actual(env, up, args, 0, 1)) ||
     (func = find_func_match_actual(env, up, args, 1, 1)) ||
     (func = find_func_match_actual(env, up, args, 0, 0)) ||
     (func = find_func_match_actual(env, up, args, 1, 0)))
    return func;
  return NULL;
}

ANN static m_bool check_call(const Env env, const Exp_Call* exp) {
  ae_exp_t et = exp->func->exp_type;
  if(et != ae_exp_primary && et != ae_exp_dot && et != ae_exp_cast)
    ERR_B(exp->func->pos, _("invalid expression for function call."))
  CHECK_OB(check_exp(env, exp->func))
  if(exp->args)
    CHECK_OB(check_exp(env, exp->args))
  return GW_OK;
}

ANN static inline Value template_get_ready(const Env env, const Value v, const m_str tmpl, const m_uint i) {
  const Symbol sym = func_symbol(env, v->from->owner->name, v->name, tmpl, i);
  return v->from->owner_class ? find_value(v->from->owner_class, sym) :
      nspc_lookup_value1(v->from->owner, sym);
}

ANN m_bool check_traverse_fdef(const Env env, const Func_Def fdef) {
  struct Vector_ v = {};
  const m_uint scope = env->scope->depth;
  env->scope->depth = 1;
  vector_init(&v);
  while(vector_size((Vector)&env->curr->info->value->ptr) > 1)
    vector_add(&v, vector_pop((Vector)&env->curr->info->value->ptr));
  const m_bool ret = traverse_func_def(env, fdef);
  for(m_uint i = vector_size(&v) + 1; --i;)
    vector_add((Vector)&env->curr->info->value->ptr, vector_at(&v, i-1));
  vector_release(&v);
  env->scope->depth = scope;
  return ret;
}

ANN static Func ensure_tmpl(const Env env, const Func_Def fdef, const Exp_Call *exp) {
  const m_bool ret = GET_FLAG(fdef, valid) || check_traverse_fdef(env, fdef) > 0;
  if(ret) {
    const Func f = fdef->base->func;
    const Func next = f->next;
    f->next = NULL;
    const Func func = find_func_match(env, f, exp->args);
    f->next = next;
    if(func) {
      SET_FLAG(func, valid | ae_flag_template);
      return func;
    }
  }
  return NULL;
}

ANN static m_bool check_func_args(const Env env, Arg_List arg_list) {
  do {
    const Var_Decl decl = arg_list->var_decl;
    const Value v = decl->value;
    if(arg_list->td && !arg_list->td->xid)
      CHECK_OB((arg_list->type = v->type = check_td(env, arg_list->td)))
// TODO: use coumpound instead of object?
    if(isa(v->type, env->gwion->type[et_object]) > 0 || isa(v->type, env->gwion->type[et_function]) > 0)
      UNSET_FLAG(env->func, pure);
    CHECK_BB(already_defined(env, decl->xid, decl->pos))
    SET_FLAG(v, valid);
    nspc_add_value(env->curr, decl->xid, v);
  } while((arg_list = arg_list->next));
  return GW_OK;
}

ANN static Func _find_template_match(const Env env, const Value v, const Exp_Call* exp) {
  CHECK_BO(check_call(env, exp))
  const Type_List types = exp->tmpl->call;
  Func m_func = NULL, former = env->func;
  DECL_OO(const m_str, tmpl_name, = tl2str(env, types))
  const m_uint scope = env->scope->depth;
  struct EnvSet es = { .env=env, .data=env, .func=(_exp_func)check_cdef,
    .scope=scope, .flag=ae_flag_check };
  CHECK_BO(envset_push(&es, v->from->owner_class, v->from->owner))
  (void)env_push(env, v->from->owner_class, v->from->owner);
  if(is_fptr(env->gwion, v->type)) {
    const Symbol sym = func_symbol(env, v->from->owner->name, v->name, tmpl_name, 0);
    const Type exists = nspc_lookup_type0(v->from->owner, sym);
    if(exists)
      m_func = exists->e->d.func;
    else {
      Func_Def base = v->d.func_ref ? v->d.func_ref->def : exp->func->info->type->e->d.func->def;
      Func_Base *fbase = cpy_func_base(env->gwion->mp, base->base);
      fbase->xid = sym;
      fbase->tmpl->base = 0;
      fbase->tmpl->call = cpy_type_list(env->gwion->mp, types);
      if(template_push_types(env, fbase->tmpl) > 0) {
        const Fptr_Def fptr = new_fptr_def(env->gwion->mp, fbase, base->flag);
        if(traverse_fptr_def(env, fptr) > 0 &&
            (base->base->ret_type = known_type(env, base->base->td)) &&
            (!exp->args || !!check_exp(env, exp->args))) {
          m_func = find_func_match(env, fbase->func, exp->args);
          nspc_pop_type(env->gwion->mp, env->curr);
          if(m_func)
            nspc_add_type_front(v->from->owner, sym, actual_type(env->gwion, m_func->value_ref->type));
        }
        free_fptr_def(env->gwion->mp, fptr);
        if(fptr->type)
          REM_REF(fptr->type, env->gwion)
      }
    }
  } else {
    for(m_uint i = 0; i < v->from->offset + 1; ++i) {
      const Value exists = template_get_ready(env, v, tmpl_name, i);
      if(exists) {
        if(env->func == exists->d.func_ref) {
          if(check_call(env, exp) < 0 ||
             !find_func_match(env, env->func, exp->args))
            continue;
          m_func = env->func;
          break;
        }
        if((m_func = ensure_tmpl(env, exists->d.func_ref->def, exp)))
          break;
      } else {
        const Value value = template_get_ready(env, v, "template", i);
        if(!value)
          continue;
        if(GET_FLAG(v, builtin)) {
          SET_FLAG(value, builtin);
          SET_FLAG(value->d.func_ref, builtin);
        }
        const Func_Def fdef = (Func_Def)cpy_func_def(env->gwion->mp, value->d.func_ref->def);
        SET_FLAG(fdef, template);
        fdef->base->tmpl->call = cpy_type_list(env->gwion->mp, types);
        fdef->base->tmpl->base = i;
        if((m_func = ensure_tmpl(env, fdef, exp)))
          break;
      }
    }
  }
  free_mstr(env->gwion->mp, tmpl_name);
  if(es.run)
    envset_pop(&es, v->from->owner_class);
  env_pop(env, scope);
  env->func = former;
  return m_func;
}

ANN Func find_template_match(const Env env, const Value value, const Exp_Call* exp) {
  const Func f = _find_template_match(env, value, exp);
  if(f)
    return f;
  Type t = value->from->owner_class;
  while(t && t->nspc) {
    Func_Def fdef = value->d.func_ref ? value->d.func_ref->def : value->type->e->d.func->def;
    const Value v = nspc_lookup_value0(t->nspc, fdef->base->xid);
    if(!v)
      goto next;
     const Func f = _find_template_match(env, v, exp);
     if(f)
       return f;
   next:
     t = t->e->parent;
  }
  ERR_O(exp_self(exp)->pos, _("arguments do not match for template call"))
}

#define next_arg(type) \
ANN static inline type next_arg_##type(const type e) { \
  const type next = e->next;                           \
  if(next)                                             \
    gw_err(",");                                       \
  return next;                                         \
}
next_arg(Exp)
next_arg(Arg_List)

ANN static void print_current_args(Exp e) {
  gw_err(_("and not\n  "));
  do gw_err(" \033[32m%s\033[0m", e->info->type->name);
  while((e = next_arg_Exp(e)));
  gw_err("\n");
}

ANN static void print_arg(Arg_List e) {
  do gw_err(" \033[32m%s\033[0m \033[1m%s\033[0m", e->type ? e->type->name : NULL,
       e->var_decl->xid ? s_name(e->var_decl->xid)  : "");
  while((e = next_arg_Arg_List(e)));
}

ANN2(1) static void function_alternative(const Env env, const Type f, const Exp args, const loc_t pos){
  env_err(env, pos, _("argument type(s) do not match for function. should be :"));
  Func up = f->e->d.func;
  do {
    gw_err("(%s)  ", up->name);
    const Arg_List e = up->def->base->args;
    if(e)
      print_arg(e);
    else
      gw_err("\033[32mvoid\033[0m");
    gw_err("\n");
  } while((up = up->next));
  if(args)
    print_current_args(args);
  else
    gw_err(_("and not:\n  \033[32mvoid\033[0m\n"));
}

ANN static m_uint get_type_number(ID_List list) {
  m_uint type_number = 0;
  do ++type_number;
  while((list = list->next));
  return type_number;
}

ANN static Func get_template_func(const Env env, const Exp_Call* func, const Value v) {
  const Func f = find_template_match(env, v, func);
  if(f) {
// copy that tmpl->call?
    Tmpl* tmpl = new_tmpl_call(env->gwion->mp, func->tmpl->call);
    tmpl->list = v->d.func_ref ? v->d.func_ref->def->base->tmpl->list : func->func->info->type->e->d.func->def->base->tmpl->list;
    ((Exp_Call*)func)->tmpl = tmpl;
    return ((Exp_Call*)func)->m_func = f;
  }
  ((Exp_Call*)func)->tmpl = NULL;
  assert(exp_self(func));
  ERR_O(exp_self(func)->pos,
        _("function is template. automatic type guess not fully implemented yet.\n"
        "  please provide template types. eg: ':[type1, type2, ...]'"))
}

ANN static Func predefined_func(const Env env, const Value v,
    Exp_Call *exp, const Tmpl *tm) {
  Tmpl tmpl = { .call=tm->call };
  exp->tmpl = &tmpl;
  DECL_OO(const Func, func, = get_template_func(env, exp, v))
  return v->d.func_ref = func;
}

ANN static Type check_predefined(const Env env, Exp_Call *exp, const Value v, const Tmpl *tm, const Func_Def fdef) {
  DECL_OO(const Func, func, = v->d.func_ref ?: predefined_func(env, v, exp, tm))
  if(!fdef->base->ret_type) { // template fptr
    struct EnvSet es = { .env=env, .data=env, .func=(_exp_func)check_cdef,
      .scope=env->scope->depth, .flag=ae_flag_check };
    CHECK_BO(envset_push(&es, v->from->owner_class, v->from->owner))
    SET_FLAG(func->def, typedef);
    const m_bool ret = check_traverse_fdef(env, func->def);
    if(es.run)
      envset_pop(&es, v->from->owner_class);
    CHECK_BO(ret)
  }
  exp->m_func = func;
  return func->def->base->ret_type;
}

ANN static Type_List check_template_args(const Env env, Exp_Call *exp, const Tmpl *tm, const Func_Def fdef) {
  m_uint args_number = 0;
  const m_uint type_number = get_type_number(tm->list);
  Type_List tl[type_number];
  tl[0] = NULL;
  ID_List list = tm->list;
  while(list) {
    Arg_List arg = fdef->base->args;
    Exp template_arg = exp->args;
    while(arg && template_arg) {
      if(list->xid == arg->td->xid) {
        tl[args_number] = mk_type_list(env, template_arg->info->type, fdef->pos);
        if(args_number)
          tl[args_number - 1]->next = tl[args_number];
        ++args_number;
        break;
      }
      arg = arg->next;
      template_arg = template_arg->next;
    }
    list = list->next;
  }
  if(args_number < type_number)
    ERR_O(exp->func->pos, _("not able to guess types for template call."))
  return tl[0];
}

ANN static Type check_exp_call_template(const Env env, Exp_Call *exp) {
  const Type t = exp->func->info->type;
  DECL_OO(const Value, value, = type_value(env->gwion, t))
  const Func_Def fdef = value->d.func_ref ? value->d.func_ref->def : t->e->d.func->def;
  Tmpl *tm = fdef->base->tmpl;
  if(tm->call)
    return check_predefined(env, exp, value, tm, fdef);
  DECL_OO(const Type_List, tl, = check_template_args(env, exp, tm, fdef));
  Tmpl tmpl = { .call=tl };
  ((Exp_Call*)exp)->tmpl = &tmpl;
  DECL_OO(const Func,func, = get_template_func(env, exp, value))
  return func->def->base->ret_type;
}

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 *l = &exp->func->d.exp_lambda;
  Arg_List arg = l->def->base->args;
  Exp e = exp->args;
  while(arg && e) {
    arg->type = e->info->type;
    arg = arg->next;
    e = e->next;
  }
  if(arg || e)
    ERR_O(exp_self(exp)->pos, _("argument number does not match for lambda"))
  CHECK_BO(check_traverse_fdef(env, l->def))
  if(env->class_def)
    SET_FLAG(l->def, member);
  ((Exp_Call*)exp)->m_func = l->def->base->func;
  return l->def->base->ret_type ?: (l->def->base->ret_type = env->gwion->type[et_void]);
}

ANN Type check_exp_call1(const Env env, const Exp_Call *exp) {
  if(exp->func->exp_type == ae_exp_decl)
    ERR_O(exp_self(exp)->pos, _("It makes no sense to call a function pointer at declaration"))
  CHECK_OO(check_exp(env, exp->func))
  if(isa(exp->func->info->type, env->gwion->type[et_function]) < 0) {
    // use func flag?
    if(isa(exp->func->info->type, env->gwion->type[et_class]) < 0)
      ERR_O(exp->func->pos, _("function call using a non-function value"))
    struct Op_Import opi = { .op=insert_symbol("@ctor"), .rhs=exp->func->info->type->e->d.base_type,
      .data=(uintptr_t)exp, .pos=exp_self(exp)->pos, .op_type=op_exp };
    const Type t = op_check(env, &opi);
    exp_self(exp)->info->nspc = t ? t->e->owner : NULL;
    return t;
  }
  if(exp->func->info->type == env->gwion->type[et_lambda])
    return check_lambda_call(env, exp);
  if(GET_FLAG(exp->func->info->type->e->d.func, ref)) {
    const Value value = exp->func->info->type->e->d.func->value_ref;
    if(value->from->owner_class && !GET_FLAG(value->from->owner_class, check))
      CHECK_BO(ensure_traverse(env, value->from->owner_class))
  }
  if(exp->args)
    CHECK_OO(check_exp(env, exp->args))
  if(GET_FLAG(exp->func->info->type, func))
    return check_exp_call_template(env, (Exp_Call*)exp);
  const Func func = find_func_match(env, exp->func->info->type->e->d.func, exp->args);
  if((exp_self(exp)->d.exp_call.m_func = func)) {
    exp->func->info->type = func->value_ref->type;
    return func->def->base->ret_type;
  }
  function_alternative(env, exp->func->info->type, exp->args, exp_self(exp)->pos);
  return NULL;
}

ANN static Type check_exp_binary(const Env env, const Exp_Binary* bin) {
  CHECK_OO(check_exp(env, bin->lhs))
  const m_bool is_auto = bin->rhs->exp_type == ae_exp_decl && bin->rhs->d.exp_decl.type == env->gwion->type[et_auto];
  if(is_auto)
    bin->rhs->d.exp_decl.type = bin->lhs->info->type;
  CHECK_OO(check_exp(env, bin->rhs))
  if(is_auto)
    bin->rhs->info->type = bin->lhs->info->type;
  struct Op_Import opi = { .op=bin->op, .lhs=bin->lhs->info->type,
    .rhs=bin->rhs->info->type, .data=(uintptr_t)bin, .pos=exp_self(bin)->pos, .op_type=op_binary };
  const Type ret = op_check(env, &opi);
  if(!ret && is_auto && exp_self(bin)->exp_type == ae_exp_binary)
    bin->rhs->d.exp_decl.list->self->value->type = env->gwion->type[et_auto];
  return ret;
}

ANN static Type check_exp_cast(const Env env, const Exp_Cast* cast) {
  DECL_OO(const Type, t, = check_exp(env, cast->exp))
  CHECK_OO((exp_self(cast)->info->type = cast->td->xid ? known_type(env, cast->td) : check_td(env, cast->td)))
  struct Op_Import opi = { .op=insert_symbol("$"), .lhs=t, .rhs=exp_self(cast)->info->type,
    .data=(uintptr_t)cast, .pos=exp_self(cast)->pos, .op_type=op_cast };
  return op_check(env, &opi);
}

ANN static Type check_exp_post(const Env env, const Exp_Postfix* post) {
  struct Op_Import opi = { .op=post->op, .lhs=check_exp(env, post->exp),
    .data=(uintptr_t)post, .pos=exp_self(post)->pos, .op_type=op_postfix };
  CHECK_OO(opi.lhs)
  const Type t = op_check(env, &opi);
  if(t && isa(t, env->gwion->type[et_object]) < 0)
    exp_setmeta(exp_self(post), 1);
  return t;
}

ANN static m_bool predefined_call(const Env env, const Type t, const loc_t pos) {
  const m_str str = tl2str(env, t->e->d.func->def->base->tmpl->call);
  env_err(env, pos, _("Type '%s' has '%s' as pre-defined types."),
      t->name, str);
  free_mstr(env->gwion->mp, str);
  if(GET_FLAG(t, typedef)) {
    loc_header(t->e->d.func->def->pos, env->name);
    gw_err(_("from definition:\n"));
    loc_err(t->e->d.func->def->pos, env->name);
  }
  return GW_ERROR;
}

ANN static Type check_exp_call(const Env env, Exp_Call* exp) {
  if(exp->tmpl) {
    CHECK_OO(check_exp(env, exp->func))
    const Type t = actual_type(env->gwion, unflag_type(exp->func->info->type));
    const Value v = type_value(env->gwion, t) ?: t->e->d.func->value_ref;
    if(!GET_FLAG(v, func) && !GET_FLAG(exp->func->info->type, func) )
      ERR_O(exp_self(exp)->pos, _("template call of non-function value."))
    if(!v->d.func_ref || !v->d.func_ref->def->base->tmpl)
      ERR_O(exp_self(exp)->pos, _("template call of non-template function."))
    if(t->e->d.func->def->base->tmpl->call) {
      if(env->func == t->e->d.func) {
        if(exp->args)
          CHECK_OO(check_exp(env, exp->args))
        exp->m_func = env->func;
        return env->func->def->base->ret_type;
      }  else
      CHECK_BO(predefined_call(env, t, exp_self(exp)->pos))
    }
    CHECK_OO((exp->m_func = find_template_match(env, v, exp)))
    return exp->m_func->def->base->ret_type;
  }
  return check_exp_call1(env, exp);
}

ANN static Type check_exp_unary(const Env env, const Exp_Unary* unary) {
  struct Op_Import opi = { .op=unary->op, .rhs=unary->exp ? check_exp(env, unary->exp) : NULL,
    .data=(uintptr_t)unary, .pos=exp_self(unary)->pos, .op_type=op_unary };
  if(unary->exp && !opi.rhs)
    return NULL;
  DECL_OO(const Type, ret, = op_check(env, &opi))
  const Type t = get_type(actual_type(env->gwion, ret));
  if(t->e->def && !GET_FLAG(t, check))
    CHECK_BO(ensure_traverse(env, t))
  return ret;
}

ANN static Type _flow(const Env env, const Exp e, const m_bool b) {
  DECL_OO(const Type, type, = check_exp(env, e))
  struct Op_Import opi = { .op=insert_symbol(b ? "@conditionnal" : "@unconditionnal"),
    .rhs=type, .pos=e->pos, .data=(uintptr_t)e, .op_type=op_exp };
  return op_check(env, &opi);
}
#define check_flow(emit,b) _flow(emit, b, 1)

ANN static Type check_exp_if(const Env env, const Exp_If* exp_if) {
  DECL_OO(const Type, cond, = check_flow(env, exp_if->cond))
  DECL_OO(const Type, if_exp, = (exp_if->if_exp ? check_exp(env, exp_if->if_exp) : cond))
  DECL_OO(const Type, else_exp, = check_exp(env, exp_if->else_exp))
  const Type ret = find_common_anc(if_exp, else_exp);
  if(!ret)
    ERR_O(exp_self(exp_if)->pos,
          _("incompatible types '%s' and '%s' in if expression..."),
          if_exp->name, else_exp->name)
  if(!exp_if->if_exp && isa(exp_if->cond->info->type, else_exp) < 0)
    ERR_O(exp_self(exp_if)->pos,
        _("condition type '%s' does not match '%s'"),
         cond->name, ret->name)
  if(exp_getmeta(exp_if->if_exp ?: exp_if->cond) || exp_getmeta(exp_if->else_exp))
    exp_setmeta(exp_self(exp_if), 1);
  return ret;
}

ANN static Type check_exp_dot(const Env env, Exp_Dot* member) {
  CHECK_OO((member->t_base = check_exp(env, member->base)))
  return check_dot(env, member);
}

ANN m_bool check_type_def(const Env env, const Type_Def tdef) {
  return tdef->type->e->def ? check_class_def(env, tdef->type->e->def) : GW_OK;
}
ANN static Type check_exp_lambda(const Env env,
    const Exp_If* exp_if NUSED) { return env->gwion->type[et_lambda]; }

DECL_EXP_FUNC(check, Type, Env)

ANN Type check_exp(const Env env, const Exp exp) {
  Exp curr = exp;
  do {
    CHECK_OO((curr->info->type = check_exp_func[curr->exp_type](env, &curr->d)))
    if(env->func && isa(curr->info->type, env->gwion->type[et_lambda]) < 0 && isa(curr->info->type, env->gwion->type[et_function]) > 0 &&
        !GET_FLAG(curr->info->type->e->d.func, pure))
      UNSET_FLAG(env->func, pure);
  } while((curr = curr->next));
  return exp->info->type;
}

ANN m_bool check_enum_def(const Env env, const Enum_Def edef) {
  if(env->class_def) {
    ID_List list = edef->list;
    do decl_static(env, nspc_lookup_value0(env->curr, list->xid));
    while((list = list->next));
  }
  return GW_OK;
}

ANN static m_bool check_stmt_code(const Env env, const Stmt_Code stmt) {
  if(stmt->stmt_list) { RET_NSPC(check_stmt_list(env, stmt->stmt_list)) }
  return GW_OK;
}

ANN static m_bool check_stmt_varloop(const Env env, const Stmt_VarLoop stmt) {
  CHECK_OB(check_exp(env, stmt->exp))
  if(isa(stmt->exp->info->type, env->gwion->type[et_vararg]) < 0)
    ERR_B(stmt->exp->pos, "varloop expression type must be '%s', not '%s'",
      env->gwion->type[et_vararg]->name, stmt->exp->info->type->name)
  return check_stmt(env, stmt->body);
}

ANN static inline m_bool _check_breaks(const Env env, const Stmt b) {
  RET_NSPC(check_stmt(env, b))
}

ANN static m_bool check_breaks(const Env env, const Stmt a, const Stmt b) {
  vector_add(&env->scope->breaks, (vtype)a);
  const m_bool ret = _check_breaks(env, b);
  vector_pop(&env->scope->breaks);
  return ret;
}

ANN static m_bool check_conts(const Env env, const Stmt a, const Stmt b) {
  vector_add(&env->scope->conts, (vtype)a);
  CHECK_BB(check_breaks(env, a, b))
  vector_pop(&env->scope->conts);
  return GW_OK;
}

ANN static inline m_bool for_empty(const Env env, const Stmt_For stmt) {
  if(!stmt->c2 || !stmt->c2->d.stmt_exp.val)
    ERR_B(stmt_self(stmt)->pos, _("empty for loop condition..."
          "...(note: explicitly use 'true' if it's the intent)"
          "...(e.g., 'for(; true;){ /*...*/ }')"))
  return GW_OK;
}

// the two next function do not account for arrays. (they are only stmt_auto() helpers
ANN static Type_Decl* _type2td(const Env env, const Type t, Type_Decl *next) {
  Type_Decl *td = new_type_decl(env->gwion->mp, insert_symbol(t->name),
      loc_cpy(env->gwion->mp, td_pos(next)));
  td->next = next;
  return !t->e->owner_class ? td : _type2td(env, t->e->owner_class, td);

}

ANN static Type_Decl* type2td(const Env env, const Type t, const loc_t loc) {
  Type_Decl *td = new_type_decl(env->gwion->mp, insert_symbol(t->name),
      loc_cpy(env->gwion->mp, loc));
  return !t->e->owner_class ? td : _type2td(env, t->e->owner_class, td);
}

ANN static m_bool do_stmt_auto(const Env env, const Stmt_Auto stmt) {
  DECL_OB(Type, t, = check_exp(env, stmt->exp))
  while(GET_FLAG(t, typedef))
    t = t->e->parent;
  Type ptr = array_base(t);
  const m_uint depth = t->array_depth - 1;
  if(!ptr || isa(t, env->gwion->type[et_array]) < 0)
    ERR_B(stmt_self(stmt)->pos, _("type '%s' is not array.\n"
          " This is not allowed in auto loop"), stmt->exp->info->type->name)
  if(stmt->is_ptr) {
    struct Type_List_ tl = {};
    if(depth)
      ptr = array_type(env, ptr, depth);
    Type_Decl *td0 = type2td(env, ptr, stmt->exp->pos),
      td = { .xid=insert_symbol("Ptr"), .types=&tl, .pos=stmt->exp->pos };
    tl.td = td0;
    ptr = known_type(env, &td);
    td0->array = NULL;
    free_type_decl(env->gwion->mp, td0);
    const Type base = get_type(ptr);
    if(!GET_FLAG(base, check))
      CHECK_BB(ensure_traverse(env, base))
  }
  t = (!stmt->is_ptr && depth) ? array_type(env, ptr, depth) : ptr;
  stmt->v = new_value(env->gwion->mp, t, s_name(stmt->sym));
  SET_FLAG(stmt->v, valid);
  nspc_add_value(env->curr, stmt->sym, stmt->v);
  return check_conts(env, stmt_self(stmt), stmt->body);
}

ANN static inline m_bool cond_type(const Env env, const Exp e) {
  const Type t_int = env->gwion->type[et_int];
  if(check_implicit(env, e, t_int) < 0)
    ERR_B(e->pos, _("invalid condition type"))
  return GW_OK;
}

#define stmt_func_xxx(name, type, prolog, exp) describe_stmt_func(check, name, type, prolog, exp)
stmt_func_xxx(if, Stmt_If,, !(!check_flow(env, stmt->cond)   ||
  check_stmt(env, stmt->if_body) < 0 ||
  (stmt->else_body && check_stmt(env, stmt->else_body) < 0)) ? 1 : -1)
stmt_func_xxx(flow, Stmt_Flow,,
  !(!check_exp(env, stmt->cond) ||
    !_flow(env, stmt->cond, !stmt->is_do ?
       stmt_self(stmt)->stmt_type == ae_stmt_while :
       stmt_self(stmt)->stmt_type != ae_stmt_while) ||
    check_conts(env, stmt_self(stmt), stmt->body) < 0) ? 1 : -1)
stmt_func_xxx(for, Stmt_For,, !(
  for_empty(env, stmt) < 0 ||
  check_stmt(env, stmt->c1) < 0 ||
  !check_flow(env, stmt->c2->d.stmt_exp.val) ||
  (stmt->c3 && !check_exp(env, stmt->c3)) ||
  check_conts(env, stmt_self(stmt), stmt->body) < 0) ? 1 : -1)
stmt_func_xxx(loop, Stmt_Loop,, !(!check_exp(env, stmt->cond) ||
  cond_type(env, stmt->cond) < 0 ||
  check_conts(env, stmt_self(stmt), stmt->body) < 0) ? 1 : -1)
stmt_func_xxx(auto, Stmt_Auto,, do_stmt_auto(env, stmt))

ANN static m_bool check_stmt_return(const Env env, const Stmt_Exp stmt) {
  if(!env->func)
    ERR_B(stmt_self(stmt)->pos, _("'return' statement found outside function definition"))
  DECL_OB(const Type, ret_type, = stmt->val ? check_exp(env, stmt->val) : env->gwion->type[et_void])
  if(!env->func->def->base->ret_type) {
    assert(isa(env->func->value_ref->type, env->gwion->type[et_lambda]) > 0);
    env->func->def->base->ret_type = ret_type;
    return GW_OK;
  }
  if(isa(ret_type, env->func->def->base->ret_type) > 0)
    return GW_OK;
  if(stmt->val) {
    if(env->func->def->base->xid == insert_symbol("@implicit") && ret_type == env->func->def->base->args->type)
      ERR_B(stmt_self(stmt)->pos, _("can't use implicit casting while defining it"))
    if(check_implicit(env, stmt->val, env->func->def->base->ret_type) > 0)
      return GW_OK;
    ERR_B(stmt_self(stmt)->pos, _("invalid return type: got '%s', expected '%s'"),
        ret_type->name, env->func->def->base->ret_type->name)
  }
  if(isa(env->func->def->base->ret_type, env->gwion->type[et_void]) > 0)
    return GW_OK;
  ERR_B(stmt_self(stmt)->pos, _("missing value for return statement"))
}

#define describe_check_stmt_stack(stack, name)                                     \
ANN static m_bool check_stmt_##name(const Env env, const Stmt stmt) {\
  if(!vector_size(&env->scope->stack))                                                    \
    ERR_B(stmt->pos, _("'"#name"' found outside of for/while/until..."))             \
  return GW_OK;                                                                        \
}
describe_check_stmt_stack(conts,  continue)
describe_check_stmt_stack(breaks, break)

ANN static m_bool check_stmt_jump(const Env env, const Stmt_Jump stmt) {
  if(stmt->is_label)
    return GW_OK;
  const Map label = env_label(env);
  const m_uint* key = env->class_def && !env->func ?
                (m_uint*)env->class_def : (m_uint*)env->func;
  const Map m = label->ptr ? (Map)map_get(label, (vtype)key) : NULL;
  if(!m)
    ERR_B(stmt_self(stmt)->pos, _("label '%s' used but not defined"), s_name(stmt->name))
  const Stmt_Jump ref = (Stmt_Jump)map_get(m, (vtype)stmt->name);
  if(!ref)
    ERR_B(stmt_self(stmt)->pos, _("label '%s' used but not defined"), s_name(stmt->name))
  vector_add(&ref->data.v, (vtype)stmt);
  return GW_OK;
}

ANN m_bool check_union_decl(const Env env, const Union_Def udef) {
  Decl_List l = udef->l;
  do {
    CHECK_OB(check_exp(env, l->self))
    Var_Decl_List list = l->self->d.exp_decl.list;
    do SET_FLAG(list->self->value, pure);
    while((list = list->next));
    if(l->self->info->type->size > udef->s)
      udef->s = l->self->info->type->size;
  } while((l = l->next));
  return GW_OK;
}

ANN void check_udef(const Env env, const Union_Def udef) {
  if(udef->xid) {
    if(env->class_def)
      (!GET_FLAG(udef, static) ? decl_member : decl_static)(env, udef->value);
    else if(env->class_def) {
      if(!GET_FLAG(udef, static))
        udef->o = env->class_def->nspc->info->offset;
      else {
        udef->o = env->class_def->nspc->info->class_data_size;
        env->class_def->nspc->info->class_data_size += SZ_INT;
      }
    }
  }
}

ANN m_bool check_union_def(const Env env, const Union_Def udef) {
  if(tmpl_base(udef->tmpl)) // there's a func for this
    return GW_OK;
  check_udef(env, udef);
  const m_uint scope = union_push(env, udef);
  const m_bool ret = check_union_decl(env, udef);
  if(!udef->xid && !udef->type_xid && env->class_def && !GET_FLAG(udef, static))
    env->class_def->nspc->info->offset = udef->o + udef->s;
  union_pop(env, udef, scope);
  union_flag(udef, ae_flag_check);
  union_flag(udef, ae_flag_valid);
  return ret;
}

ANN static m_bool check_stmt_exp(const Env env, const Stmt_Exp stmt) {
  return stmt->val ? check_exp(env, stmt->val) ? 1 : -1 : 1;
}

ANN static Value match_value(const Env env, const Exp_Primary* prim, const m_uint i) {
  const Symbol sym = prim->d.var;
  const Value v = new_value(env->gwion->mp,
     ((Exp)VKEY(&env->scope->match->map, i))->info->type, s_name(sym));
  SET_FLAG(v, valid);
  nspc_add_value(env->curr, sym, v);
  VVAL(&env->scope->match->map, i) = (vtype)v;
  return v;
}

ANN static Symbol case_op(const Env env, const Exp e, const m_uint i) {
  if(e->exp_type == ae_exp_primary) {
    if(e->d.prim.prim_type == ae_prim_id) {
      if(e->d.prim.d.var == insert_symbol("_"))
        return NULL;
      if(!nspc_lookup_value1(env->curr, e->d.prim.d.var)) {
        e->d.prim.value = match_value(env, &e->d.prim, i);
        return NULL;
      }
    }
  }
  return insert_symbol("==");
}

ANN static m_bool match_case_exp(const Env env, Exp e) {
  Exp last = e;
  for(m_uint i = 0; i < map_size(&env->scope->match->map); e = e->next, ++i) {
    if(!e)
      ERR_B(last->pos, _("no enough to match"))
    last = e;
    const Symbol op = case_op(env, e, i);
    if(op) {
      const Exp base = (Exp)VKEY(&env->scope->match->map, i);
      CHECK_OB(check_exp(env, e))
      Exp_Binary bin = { .lhs=base, .rhs=e, .op=op };
      struct ExpInfo_ info = { .nspc=env->curr };
      struct Exp_ ebin = { .d={.exp_binary=bin}, .info=&info };
      struct Op_Import opi = { .op=op, .lhs=base->info->type, .rhs=e->info->type,
        .data=(uintptr_t)&ebin.d.exp_binary, .pos=e->pos, .op_type=op_binary };
      CHECK_OB(op_check(env, &opi))
      e->info->nspc= info.nspc;
      return GW_OK;
    }
  }
  if(e)
    ERR_B(e->pos, _("too many expression to match"))
  return GW_OK;
}

ANN static m_bool _check_stmt_case(const Env env, const Stmt_Match stmt) {
  CHECK_BB(match_case_exp(env, stmt->cond))
  if(stmt->when)
    CHECK_OB(check_flow(env, stmt->when))
  return check_stmt_list(env, stmt->list);
}

ANN static m_bool check_stmt_case(const Env env, const Stmt_Match stmt) {
  RET_NSPC(_check_stmt_case(env, stmt))
}

ANN static m_bool case_loop(const Env env, const Stmt_Match stmt) {
  Stmt_List list = stmt->list;
  do CHECK_BB(check_stmt_case(env, &list->stmt->d.stmt_match))
  while((list = list->next));
  return GW_OK;
}

ANN static m_bool _check_stmt_match(const Env env, const Stmt_Match stmt) {
  CHECK_OB(check_exp(env, stmt->cond))
  MATCH_INI(env->scope)
  const m_bool ret = case_loop(env, stmt);
  MATCH_END(env->scope)
  return ret;
}

ANN static inline m_bool handle_where(const Env env, const Stmt_Match stmt) {
  if(stmt->where)
    CHECK_BB(check_stmt(env, stmt->where))
  RET_NSPC(_check_stmt_match(env, stmt))
}

ANN static m_bool check_stmt_match(const Env env, const Stmt_Match stmt) {
  RET_NSPC(handle_where(env, stmt))
}

#define check_stmt_while check_stmt_flow
#define check_stmt_until check_stmt_flow
#define check_stmt_pp    dummy_func
DECL_STMT_FUNC(check, m_bool , Env)

ANN m_bool check_stmt(const Env env, const Stmt stmt) {
  return check_stmt_func[stmt->stmt_type](env, &stmt->d);
}

ANN static m_bool check_stmt_list(const Env env, Stmt_List l) {
  do CHECK_BB(check_stmt(env, l->stmt))
  while((l = l->next));
  return GW_OK;
}

ANN static m_bool check_signature_match(const Env env, const Func_Def fdef, const Func parent) {
  if(GET_FLAG(parent->def, static) != GET_FLAG(fdef, static)) {
    const m_str c_name  = fdef->base->func->value_ref->from->owner_class->name;
    const m_str p_name = parent->value_ref->from->owner_class->name;
    const m_str f_name = s_name(fdef->base->xid);
    ERR_B(td_pos(fdef->base->td),
          _("function '%s.%s' ressembles '%s.%s' but cannot override...\n"
          "  ...(reason: '%s.%s' is declared as 'static')"),
          c_name, f_name, p_name, c_name,
          GET_FLAG(fdef, static) ? c_name : p_name, f_name)
  }
  return !fdef->base->tmpl ? isa(fdef->base->ret_type, parent->def->base->ret_type) : GW_OK;
}

ANN static m_bool parent_match_actual(const Env env, const restrict Func_Def fdef,
    const restrict Func func) {
  Func parent_func = func;
  do {
    if(parent_func->def->base && compat_func(fdef, parent_func->def) > 0) {
      CHECK_BB(check_signature_match(env, fdef, parent_func))
      if(!fdef->base->tmpl) {
        fdef->base->func->vt_index = parent_func->vt_index;
        vector_set(&env->curr->info->vtable, fdef->base->func->vt_index, (vtype)fdef->base->func);
      }
      return GW_OK;
    }
  } while((parent_func = parent_func->next));
  return 0;
}

ANN static m_bool check_parent_match(const Env env, const Func_Def fdef) {
  const Func func = fdef->base->func;
  const Type parent = env->class_def->e->parent;
  if(!env->curr->info->vtable.ptr)
    vector_init(&env->curr->info->vtable);
  if(parent) {
    const Value v = find_value(parent, fdef->base->xid);
    if(v && isa(v->type, env->gwion->type[et_function]) > 0) {
      const m_bool match = parent_match_actual(env, fdef, v->d.func_ref);
      if(match)
        return match;
    }
  }
  func->vt_index = vector_size(&env->curr->info->vtable);
  vector_add(&env->curr->info->vtable, (vtype)func);
  return GW_OK;
}

ANN static inline Func get_overload(const Env env, const Func_Def fdef, const m_uint i) {
  const Symbol sym = func_symbol(env, env->curr->name, s_name(fdef->base->xid), NULL, i);
  return nspc_lookup_func1(env->curr, sym);
}

ANN static m_bool check_func_overload(const Env env, const Func_Def fdef) {
  const Value v = fdef->base->func->value_ref;
  for(m_uint i = 0; i <= v->from->offset; ++i) {
    const Func f1 = get_overload(env, fdef, i);
    for(m_uint j = i + 1; f1 && j <= v->from->offset; ++j) {
      const Func f2 = get_overload(env, fdef, j);
      if(f2 && compat_func(f1->def, f2->def) > 0)
        ERR_B(td_pos(f2->def->base->td), _("global function '%s' already defined"
          " for those arguments"), s_name(fdef->base->xid))
    }
  }
  return GW_OK;
}

ANN static m_bool check_func_def_override(const Env env, const Func_Def fdef) {
  const Func func = fdef->base->func;
  if(env->class_def && env->class_def->e->parent) {
    const Value override = find_value(env->class_def->e->parent, fdef->base->xid);
    if(override && override->from->owner_class && isa(override->type, env->gwion->type[et_function]) < 0)
      ERR_B(fdef->pos,
            _("function name '%s' conflicts with previously defined value...\n"
            "  from super class '%s'..."),
            s_name(fdef->base->xid), override->from->owner_class->name)
  }
  if(func->value_ref->from->offset && (!fdef->base->tmpl || !fdef->base->tmpl->base))
    CHECK_BB(check_func_overload(env, fdef))
  return GW_OK;
}

ANN m_bool check_fdef(const Env env, const Func_Def fdef) {
  if(fdef->base->args)
    CHECK_BB(check_func_args(env, fdef->base->args))
  if(!GET_FLAG(fdef, builtin)) {
    if(fdef->d.code)
      CHECK_BB(check_stmt_code(env, &fdef->d.code->d.stmt_code))
  } else
    fdef->base->func->code->stack_depth = fdef->stack_depth;
  return GW_OK;
}

ANN m_bool check_func_def(const Env env, const Func_Def f) {
  const Func func = f->base->func;
  const Func_Def fdef = func->def;
  assert(func == fdef->base->func);
  if(env->class_def) // tmpl ?
    CHECK_BB(check_parent_match(env, fdef))
  if(tmpl_base(fdef->base->tmpl))
    return GW_OK;
  if(fdef->base->td && !fdef->base->td->xid) { // tmpl ?
    CHECK_OB((fdef->base->ret_type = check_td(env, fdef->base->td)))
    return check_traverse_fdef(env, fdef);
  }
  CHECK_BB(check_func_def_override(env, fdef))
  DECL_BB(const m_int, scope, = GET_FLAG(fdef, global) ? env_push_global(env) : env->scope->depth)
  const Func former = env->func;
  env->func = func;
  ++env->scope->depth;
  nspc_push_value(env->gwion->mp, env->curr);
  struct Op_Import opi = { };
  if(GET_FLAG(fdef, op)) {
    func_operator(f, &opi);
    operator_suspend(env->curr, &opi);
  }
  const m_bool ret = scanx_fdef(env, env, fdef, (_exp_func)check_fdef);
  if(GET_FLAG(fdef, op))
    operator_resume(&opi);
  nspc_pop_value(env->gwion->mp, env->curr);
  --env->scope->depth;
  env->func = former;
  if(ret > 0)
    SET_FLAG(fdef, valid);
  if(GET_FLAG(fdef, global))
    env_pop(env,scope);
  return ret;
}

#define check_fptr_def dummy_func
HANDLE_SECTION_FUNC(check, m_bool, Env)

ANN static m_bool check_parent(const Env env, const Class_Def cdef) {
  const Type parent = cdef->base.type->e->parent;
  const Type_Decl *td = cdef->base.ext;
  if(td->array)
    CHECK_BB(check_subscripts(env, td->array, 1))
  if(parent->e->def && !GET_FLAG(parent, check))
    CHECK_BB(ensure_check(env, parent))
  if(GET_FLAG(parent, typedef))
    SET_FLAG(cdef->base.type, typedef);
  return GW_OK;
}

ANN static m_bool cdef_parent(const Env env, const Class_Def cdef) {
  if(cdef->base.tmpl && cdef->base.tmpl->list)
    CHECK_BB(template_push_types(env, cdef->base.tmpl))
  const m_bool ret = check_parent(env, cdef);
  if(cdef->base.tmpl && cdef->base.tmpl->list)
    nspc_pop_type(env->gwion->mp, env->curr);
  return ret;
}

ANN m_bool check_class_def(const Env env, const Class_Def cdef) {
  if(tmpl_base(cdef->base.tmpl))
    return GW_OK;
  const Type t = cdef->base.type;
  if(t->e->owner_class && !GET_FLAG(t->e->owner_class, check))
    CHECK_BB(ensure_check(env, t->e->owner_class))
  if(GET_FLAG(t, check))return GW_OK;
  SET_FLAG(t, check);
  if(cdef->base.ext)
    CHECK_BB(cdef_parent(env, cdef))
  if(!GET_FLAG(cdef, struct))
    inherit(t);
  if(cdef->body) {
    CHECK_BB(env_body(env, cdef, check_section))
    SET_FLAG(t, ctor);
  }
  SET_FLAG(t, valid);
  return GW_OK;
}

ANN m_bool check_ast(const Env env, Ast ast) {
  do CHECK_BB(check_section(env, ast->section))
  while((ast = ast->next));
  return GW_OK;
}

Generated by: GCOVR (Version 4.2)