summaryrefslogtreecommitdiff
path: root/parse/infer.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2019-02-09 21:48:50 -0800
committerOri Bernstein <ori@eigenstate.org>2019-02-09 21:48:50 -0800
commita8ab64015b9419f0a32c1162c2442c27163dff66 (patch)
tree391e7008d65ec9b2751ce51d29fa3e1abe7606fb /parse/infer.c
parentbe26bedd4883ebc3679ece90df4ba508fee87f8e (diff)
downloadmc-a8ab64015b9419f0a32c1162c2442c27163dff66.tar.gz
Work towards removing the streq check.
Diffstat (limited to 'parse/infer.c')
-rw-r--r--parse/infer.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/parse/infer.c b/parse/infer.c
index f181107..35146ec 100644
--- a/parse/infer.c
+++ b/parse/infer.c
@@ -647,6 +647,8 @@ tf(Type *orig)
ingeneric += isgeneric;
pushenv(orig->env);
tyresolve(t);
+ if ((tt = boundtype(t)) != NULL)
+ t = tt;
popenv(orig->env);
/* If this is an instantiation of a generic type, we want the params to
* match the instantiation */