summaryrefslogtreecommitdiff
path: root/6/simp.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-02-28 00:52:26 -0800
committerOri Bernstein <ori@eigenstate.org>2016-02-28 00:52:26 -0800
commit3f457c0c972ce2cdb413a76a05da874d998f2cc2 (patch)
tree5ed049ed220b35b327d1fe66f3b72e354ee6921c /6/simp.c
parentcd1b25a6047e4ed9bf368811b6a4f7e3d18b88f9 (diff)
downloadmc-3f457c0c972ce2cdb413a76a05da874d998f2cc2.tar.gz
Recursively tag reflected types.
Diffstat (limited to '6/simp.c')
-rw-r--r--6/simp.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/6/simp.c b/6/simp.c
index 5415420..8ead57f 100644
--- a/6/simp.c
+++ b/6/simp.c
@@ -878,11 +878,10 @@ static Node *vatypeinfo(Simp *s, Node *n)
* to count from ft->nsub - 1, up to n->expr.nsub.
*/
for (i = ft->nsub - 1; i < n->expr.nargs; i++) {
- exprtype(n->expr.args[i])->isreflect = 1;
lappend(&st, &nst, exprtype(n->expr.args[i]));
}
vt = mktytuple(n->loc, st, nst);
- vt->isreflect = 1;
+ tagreflect(vt);
/* make the decl */
tn = mkname(Zloc, tydescid(buf, sizeof buf, vt));