From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Tue, 1 Oct 2019 19:53:56 +0000 (+0200)
Subject: :art: try to use use check_implicit in is_int
X-Git-Tag: nightly~2198^2~204
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2a185b3f7e3f20201dc98fec2f9b3408294aa3f5;p=gwion.git

:art: try to use use check_implicit in is_int
---

diff --git a/src/parse/check.c b/src/parse/check.c
index 6bcd6278..8eb68870 100644
--- 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;
 }