shithub: mc

Info  •  Files  •  Log  •  Branches

Propagate cstrs from base types up

    'type foo = int' should have the same constraints set on
    'foo' as the int type does. Make it so.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -88,6 +88,7 @@

 static void tyresolve(Type *t)

 {

     size_t i, nn;

+    Type *base;

     Node **n;

     if (t->resolved)

@@ -98,6 +99,11 @@

         infernode(n[i], NULL, NULL);

     for (i = 0; i < t->nsub; i++)

         t->sub[i] = tf(t->sub[i]);

+    base = tybase(t);

+    if (t->cstrs)

+        bsunion(t->cstrs, base->cstrs);

+    else

+        t->cstrs = bsdup(base->cstrs);

 }

 /* fixd the most accurate type mapping we have */