shithub: mc

Info  •  Files  •  Log  •  Branches

Substitute types in specialized generic Tynames

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -1212,6 +1212,9 @@

                 if (t->udecls[i]->etype)

                     t->udecls[i]->etype = tyfix(st, ctx, t->udecls[i]->etype);

             }

+        } else if (t->type == Tyname) {

+            for (i = 0; i < t->nparam; i++)

+                t->param[i] = tyfix(st, ctx, t->param[i]);

         }

         for (i = 0; i < t->nsub; i++)

             t->sub[i] = tyfix(st, ctx, t->sub[i]);