shithub: mc

Info  •  Files  •  Log  •  Branches

Get closer to typechecking generic args correctly.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -638,7 +638,9 @@

 	t = tylookup(orig);

 	isgeneric = t->type == Tygeneric;

 	ingeneric += isgeneric;

+	pushenv(orig->env);

 	tyresolve(t);

+	popenv(orig->env);

 	/* If this is an instantiation of a generic type, we want the params to

 	 * match the instantiation */

 	if (orig->type == Tyunres && t->type == Tygeneric) {