summaryrefslogtreecommitdiff
path: root/parse/infer.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-01-16 22:32:40 -0800
committerOri Bernstein <ori@eigenstate.org>2018-01-17 20:40:20 -0800
commit8e1bb5d4fc204ce149ceb545aef7b783d73641bc (patch)
tree29543d0f1273988f97d0ff252c661952d8c7ea25 /parse/infer.c
parentd2329579c1eb281e8885b9a924c5c92135f399f7 (diff)
downloadmc-8e1bb5d4fc204ce149ceb545aef7b783d73641bc.tar.gz
Only set the base type on iter traits.
Diffstat (limited to 'parse/infer.c')
-rw-r--r--parse/infer.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/parse/infer.c b/parse/infer.c
index 548c1f2..16122c6 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -542,7 +542,8 @@ tyresolve(Type *t)
if (!t->trneed)
t->trneed = mkbs();
bsput(t->trneed, tr->uid);
- htput(seqbase, t, t->spec[i]->aux);
+ if (nameeq(t->spec[i]->trait[j], traittab[Tciter]->name))
+ htput(seqbase, t, t->spec[i]->aux);
}
}