From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 14 Dec 2019 22:11:50 +0000 (+0100)
Subject: :art: Check unknown type on template push
X-Git-Tag: nightly~1994
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=309af8952e1cc586ab9d6cc48d7a847039e13786;p=gwion.git

:art: Check unknown type on template push
---

diff --git a/src/parse/template.c b/src/parse/template.c
index 0fb1e23f..fb84336e 100644
--- a/src/parse/template.c
+++ b/src/parse/template.c
@@ -99,7 +99,8 @@ ANN m_bool template_push_types(const Env env, const Tmpl *tmpl) {
     if(!call)
       break;
     const Type t = known_type(env, call->td);
-    assert(t);
+    if(!t)
+      return GW_ERROR;
     nspc_add_type(env->curr, list->xid, t);
     call = call->next;
   } while((list = list->next));