]> Nishi Git Mirror - gwion.git/commitdiff
:art: Fix get_type_name
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 11 Oct 2019 14:05:29 +0000 (16:05 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 11 Oct 2019 14:05:29 +0000 (16:05 +0200)
src/oo/type.c

index d5f6503ec30e48dec44c59c8506919eb515b7bfa..cb7309dfa1491c1771201c0ee31ab83c20323823 100644 (file)
@@ -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--)