shithub: mc

Info  •  Files  •  Log  •  Branches

Fix type env assertion.

	If a subtype has args, it should introduce an env.

--- a/parse/type.c

+++ b/parse/type.c

@@ -236,8 +236,8 @@

 		bindtype(t->env, param[i]);

 	if (!base->env)

 		base->env = t->env;

-	else

-		assert(base->env->super == t->env);

+	else 

+		assert(base->env->super == t->env || base->narg > 0);

 	return t;

 }