shithub: mc

Info  •  Files  •  Log  •  Branches

Just fully replace the type in the specialization.

    Nothing is going to care, and this fixes the problem of
    handlign more specialization post unification.

--- a/parse/specialize.c

+++ b/parse/specialize.c

@@ -57,7 +57,7 @@

 		ret->issynth = 1;

 		ret->arg = arg;

 		ret->narg = narg;

-		tytab[var->tid] = ret;

+		*var = *ret;

 		break;

 	case Tyname:

 		if (!hasparams(t))

@@ -69,7 +69,7 @@

 		ret = mktyname(t->loc, t->name, tyspecialize(t->sub[0], tsmap, delayed));

 		ret->arg = arg;

 		ret->narg = narg;

-		tytab[var->tid] = ret;

+		*var = *ret;

 		break;

 	case Tystruct:

 		ret = tydup(t);