shithub: mc

Info  •  Files  •  Log  •  Branches

Fix unit tests.

	There's still some tweaking to do on traits, but at least
	they're not broken.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -1991,11 +1991,11 @@

 	Type *ty;

 	dcl = decls[n->expr.did];

-	if (n->expr.param) {

+	ty = NULL;

+	if (n->expr.param)

 		ty = htget(dcl->decl.impls, tf(st, n->expr.param));

-	} else {

+	if (!ty)

 		ty = tyfreshen(st, NULL, type(st, dcl));

-	}

 	unify(st, n, type(st, n), ty);

 }