:art: Update

diff --git a/src/parse/check.c b/src/parse/check.c
index d40451af55ada68906eaa62f5515b151d01f8fd3..f5639c5c2817e9d9bd938dbd7e9a952bfcce3327 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -170,7 +170,7 @@ ANN static m_bool prim_array_inner(const Env env, Type type, const Exp e,
   if(check_implicit(env, e, type) > 0)
     return GW_OK;
 
-  char fst[16 + strlen(type->name)];
+  char fst[20 + strlen(type->name)];
   sprintf(fst, "expected `{+/}%s{0}`", type->name);
   gwerr_basic(_("literal contains incompatible types"), fst, NULL,
     env->name, loc, 0);

diff --git a/src/parse/template.c b/src/parse/template.c
index b4190139813859f6c89b532d92922b5759522c40..fe7876421553ee8ef7a522f946ae910e941fecc1 100644 (file)
--- a/src/parse/template.c
+++ b/src/parse/template.c
@@ -122,7 +122,6 @@ ANN Type scan_type(const Env env, const Type t, Type_Decl* td) {
     envset_push(&es, owner, owner->nspc);
     (void)env_push(env, owner, owner->nspc);// TODO: is this needed?
 //    const Type ret = scan_type(env, t, td->next);
-printf("known %s\n", owner->name);
     const Type ret = known_type(env, td->next);
     env_pop(env, es.scope);
     if(es.run)