ANN void env_pop(const Env, const m_uint);
ANN Map env_label(const Env);
ANN Type scan_type(const Env, const Type, Type_Decl*);
-//ANN Type type_decl_resolve(const Env, const Type_Decl*);
-ANN Type type_decl_resolve(const Env, Type_Decl*);
ANN Value mk_class(const Env env, const Type base);
// tl2str returns a mp_alloced string
ANEW ANN m_str tl2str(const Env, const Type_List); // in type_decl.c
const Exp_Cast* cast = (Exp_Cast*)data;
if(!cast->td->types || !cast->td->types->td)
ERR_N(exp_self(cast)->pos, "'Ptr' needs types to cast")
- DECL_ON(const Type, t, = known_type(env, cast->td)) // was type_decl_resolve
+ DECL_ON(const Type, t, = known_type(env, cast->td))
const Type _t = get_type(t);
if(_t->e->def && !GET_FLAG(_t, check))
CHECK_BN(ensure_traverse(env, _t))
#include "parse.h"
-ANN Type type_decl_resolve(const Env env, Type_Decl* td) {
+ANN static Type resolve(const Env env, Type_Decl* td) {
DECL_OO(const Type, base, = find_type(env, td))
if(base->e->ctx && base->e->ctx->error)
ERR_O(td_pos(td), _("type '%s' is invalid"), base->name)
ANN Type known_type(const Env env, Type_Decl* td) {
if(!td->xid)
return env->gwion->type[et_undefined];
- return type_decl_resolve(env, td) ?:type_unknown(env, td);
+ return resolve(env, td) ?:type_unknown(env, td);
}