From 40b90d896be8863e58f82f262b5bf6fbf153cccc Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Wed, 2 Oct 2019 00:16:48 +0200 Subject: [PATCH] :art: Improve vec_value --- src/parse/check.c | 22 +++++----------------- 1 file changed, 5 insertions(+), 17 deletions(-) diff --git a/src/parse/check.c b/src/parse/check.c index eecbe7c2..92d6a0b3 100644 --- a/src/parse/check.c +++ b/src/parse/check.c @@ -28,16 +28,6 @@ ANN static Type check_exp(const Env env, Exp exp); 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_implicit(const Env env, const m_str str, - const Exp e, const Type t) { - struct Implicit imp = { .e=e, .t=t, .pos=e->pos }; - struct Op_Import opi = { .op=insert_symbol(str), .lhs=e->type, - .rhs=t, .data=(uintptr_t)&imp, .pos=e->pos }; - CHECK_OB(op_check(env, &opi)) - e->nspc = env->curr; - return GW_OK; -} - 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 }; @@ -294,13 +284,10 @@ ANN static Type prim_id(const Env env, Exp_Primary* primary) { } ANN static m_bool vec_value(const Env env, Exp e) { - int count = 1; + const Type t_float = env->gwion->type[et_float]; CHECK_OB(check_exp(env, e)) - do { - if(check_implicit(env, e, env->gwion->type[et_float]) < 0) - ERR_B(e->pos, _("invalid type '%s' in value #%d...\n"), e->type->name, count) - ++count; - } while((e = e->next)); + do CHECK_BB(check_implicit(env, e, t_float)) + while((e = e->next)); return GW_OK; } @@ -1055,7 +1042,8 @@ ANN static m_bool do_stmt_auto(const Env env, const Stmt_Auto stmt) { } ANN static inline m_bool cond_type(const Env env, const Exp e) { - return _check_implicit(env, "@repeat", e, env->gwion->type[et_int]); + const Symbol sym = insert_symbol("@repeat"); + return check_internal(env, sym, e, env->gwion->type[et_int]); } #define stmt_func_xxx(name, type, prolog, exp) describe_stmt_func(check, name, type, prolog, exp) -- 2.43.0