From: Jérémie Astor <fennecdjay@gmail.com>
Date: Sun, 3 Apr 2022 21:52:44 +0000 (+0200)
Subject: Fix nested templates/typedefs
X-Git-Tag: nightly~335
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=a74e294edcac61adf41ad542df14b0e681100877;p=gwion.git

Fix nested templates/typedefs
---

diff --git a/src/env/envset.c b/src/env/envset.c
index 6e03141b..ac0d37b1 100644
--- a/src/env/envset.c
+++ b/src/env/envset.c
@@ -43,8 +43,8 @@ ANN2(1, 3)
 m_bool envset_push(struct EnvSet *es, const Type t, const Nspc nspc) {
   if (t) {
     check(es, t);
-    if(es->run && type_global(es->env, t))
-      env_push_global(es->env);
+//    if(es->run && type_global(es->env, t))
+//      env_push_global(es->env);
     return es->run ? push(es, t) : GW_OK;
   }
   if (nspc != es->env->curr) {
@@ -68,8 +68,8 @@ ANN2(1) static void _envset_pop(struct EnvSet *es, const Type t) {
 
 ANN2(1) void envset_pop(struct EnvSet *es, const Type t) {
   _envset_pop(es, t);
-  if(t && type_global(es->env, t))
-    env_pop(es->env, es->scope);
+//  if(t && type_global(es->env, t))
+//    env_pop(es->env, es->scope);
   if (es->_ctx) es->env->context = es->_ctx;
   if (es->_filename) es->env->name = es->_filename;
 }
diff --git a/src/lib/tmpl_info.c b/src/lib/tmpl_info.c
index 4b294af5..65705889 100644
--- a/src/lib/tmpl_info.c
+++ b/src/lib/tmpl_info.c
@@ -47,6 +47,7 @@ ANN static ssize_t template_size(const Env env, struct tmpl_info *info) {
   const size_t tmpl_sz = tmpl_set(info, str);
   const m_str  base    = type2str(env->gwion, info->base, info->td->pos);
   return tmpl_sz + tmpl_set(info, base) + 4;
+//  return tmpl_sz + tmpl_set(info, info->base->name) + 4;
 }
 
 ANEW ANN static Symbol _template_id(const Env env, struct tmpl_info *const info,
diff --git a/src/parse/template.c b/src/parse/template.c
index eaf5b67b..69d3d53c 100644
--- a/src/parse/template.c
+++ b/src/parse/template.c
@@ -119,9 +119,11 @@ ANN static Type _scan_type(const Env env, const Type t, Type_Decl *td) {
     if(!td->types) {
       const Type new_type = nspc_lookup_type1(env->curr, td->xid);
       Type_Decl *new_td = type2td(env->gwion, new_type, td->pos);
-      if(!new_td->types)
+      Type_Decl *d = new_td;
+      while(d->next) d = d->next;
+      if(!d->types)
         ERR_N(td->pos, _("you must provide template types for type '%s' !!!"), t->name);
-      const Type ret = _scan_type(env, t, new_td);
+      const Type ret = _scan_type(env, t, d);
       free_type_decl(env->gwion->mp, new_td);
       return ret;
     }