shithub: mc

Info  •  Files  •  Log  •  Branches

Allow user traits to override subtypes.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -890,10 +890,9 @@

 {

 	Type *t;

-	if (a->type == Tyslice || a->type == Tyarray)

+	t = htget(st->seqbase, a);

+	if (!t && (a->type == Tyslice || a->type == Tyarray || a->type == Typtr))

 		t = a->sub[0];

-	else

-		t = htget(st->seqbase, a);

 	if (t)

 		t = tf(st, t);

 	return t;