:art: try to use use check_implicit in is_int

diff --git a/src/parse/check.c b/src/parse/check.c
index 6bcd6278f7a5ad1cf42d35e92522c64ea47dea1c..8eb688702188f9a9f403a8f81a929f5ae4c39e75 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -411,6 +411,9 @@ static inline m_bool index_is_int(const Env env, Exp e, m_uint *depth) {
 
   const m_str str = "@access";
   const Type t = env->gwion->type[et_int];
+//  do CHECK_BB(check_implicit(env, "@access", e, env->gwion->type[et_int]))
+  do CHECK_BB(check_implicit(env, str, e, t))
+/*
   do {
     struct Implicit imp = { .e=e, .t=t, .pos=e->pos };
     struct Op_Import opi = { .op=insert_symbol(str), .lhs=e->type,
@@ -418,6 +421,7 @@ static inline m_bool index_is_int(const Env env, Exp e, m_uint *depth) {
     CHECK_OB(op_check(env, &opi))
     e->nspc = env->curr;
   }
+*/
   while(++(*depth) && (e = e->next));
   return GW_OK;
 }