shithub: mc

Info  •  Files  •  Log  •  Branches

Generics work!

--- a/parse/specialize.c

+++ b/parse/specialize.c

@@ -152,6 +152,7 @@

             break;

         case Nfunc:

             r->func.scope = mkstab();

+            r->func.type = tysubst(n->func.type, tsmap);

             r->func.nargs = n->func.nargs;

             r->func.args = xalloc(sizeof(Node *)*n->func.nargs);

             for (i = 0; i < n->func.nargs; i++)

--- a/test/tests

+++ b/test/tests

@@ -36,7 +36,7 @@

 B log-and	E	0

 B log-or	E	1

 B str		E	102

-B generic	E	102

+B generic	E	42

 F declmismatch

 F infermismatch

 F flow