shithub: mc

Info  •  Files  •  Log  •  Branches

Fix infinite recursion in type inference.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -120,9 +120,9 @@

 	t = NULL;

 	if (n->type == Nexpr && exprtype(n) != NULL)

-		t = tyfix(n, exprtype(n), 1);

+		t = tysearch(exprtype(n));

 	else if (n->type == Ndecl && decltype(n) != NULL)

-		t = tyfix(n, decltype(n), 1);

+		t = tysearch(decltype(n));

 	if (t && tybase(t)->type != Tyvar)

 		return tystr(t);