]> Nishi Git Mirror - gwion.git/commitdiff
:art: Forbid type shallowing
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 30 Jun 2020 21:26:50 +0000 (23:26 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 30 Jun 2020 21:26:50 +0000 (23:26 +0200)
src/parse/scan0.c

index e57a3d007155276ac914886f2c17b1ed8b0ccddd..5f2b6c5970535a6c5bcea37eb1fe3450918c6dcd 100644 (file)
@@ -29,7 +29,7 @@ static inline Type scan0_type(const Env env, const m_uint xid,
 }
 
 ANN static inline m_bool scan0_defined(const Env env, const Symbol s, const loc_t pos) {
-  if(nspc_lookup_type0(env->curr, s))
+  if(nspc_lookup_type1(env->curr, s))
     ERR_B(pos, _("type '%s' already defined"), s_name(s));
   return already_defined(env, s, pos);
 }