shithub: mc

Info  •  Files  •  Log  •  Branches

Make tysearch error-free.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -436,9 +436,16 @@

 	}

 }

-/* Look up the best type to date in the unification table, returning it */

 Type *tysearch(Type *t)

 {

+	while (tytab[t->tid])

+		t = tytab[t->tid];

+	return t;

+}

+

+/* Look up the best type to date in the unification table, returning it */

+static Type *tylookup(Type *t)

+{

 	Type *lu;

 	Stab *ns;

@@ -498,7 +505,7 @@

 	Type *t;

 	assert(orig != NULL);

-	t = tysearch(orig);

+	t = tylookup(orig);

 	isgeneric = t->type == Tygeneric;

 	st->ingeneric += isgeneric;

 	tyresolve(st, t);