shithub: mc

Info  •  Files  •  Log  •  Branches

Don't duplicate type variables.

	These should unify across generics.

--- a/parse/specialize.c

+++ b/parse/specialize.c

@@ -151,13 +151,11 @@

 		}

 		break;

 	case Tyvar:

+		ret = t;

 		if (delayed && hthas(delayed, t)) {

-			ret = tydup(t);

 			tmp = htget(delayed, t);

 			htput(delayed, ret, tyspecialize(tmp, tsmap, delayed));

-		} else {

-			ret = t;

-		}

+		} 

 		break;

 	default:

 		if (t->nsub > 0) {