shithub: mc

Info  •  Files  •  Log  •  Branches

Fix occurs check.

	Fixes bug #145.
	Thanks Milo (iitalics on github).

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -353,6 +353,7 @@

 {

 	size_t i;

+	sub = tf(sub);

 	if (bshas(bs, sub->tid))

 		return 1;

 	bsput(bs, sub->tid);

@@ -390,8 +391,9 @@

 	int r;

 	bs = mkbs();

-	bsput(bs, b->tid);

-	r = occurs_rec(a, bs);

+	a = tf(a);

+	bsput(bs, a->tid);

+	r = occurs_rec(b, bs);

 	bsfree(bs);

 	return r;

 }