From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 11 Oct 2019 14:05:29 +0000 (+0200)
Subject: :art: Fix get_type_name
X-Git-Tag: nightly~2178
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=284b95d9b3449b770c3fd7a77086242e95520d6b;p=gwion.git

:art: Fix get_type_name
---

diff --git a/src/oo/type.c b/src/oo/type.c
index d5f6503e..cb7309df 100644
--- a/src/oo/type.c
+++ b/src/oo/type.c
@@ -171,6 +171,8 @@ ANN m_str get_type_name(const Env env, const m_str s, const m_uint index) {
   ++name;
   while(*name++) {
     if(*name == '<') {
+      if(n == index)
+        c[i++] = *name;
       lvl++;
       name++;
     } else if(*name == '~' && !lvl--)