summaryrefslogtreecommitdiff
path: root/parse/type.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2019-02-10 23:03:36 -0800
committerOri Bernstein <ori@eigenstate.org>2019-02-10 23:03:36 -0800
commitcc5182284db2880dcfc3b0bd61dbc6ed319bacc3 (patch)
treefdaccbef00656b0391864fc1d7ee655f2059b449 /parse/type.c
parent32abfabfaf95942558a590a307432b499f392ea9 (diff)
downloadmc-cc5182284db2880dcfc3b0bd61dbc6ed319bacc3.tar.gz
Pass the type envs through properly in delayed unification.
Diffstat (limited to 'parse/type.c')
-rw-r--r--parse/type.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/parse/type.c b/parse/type.c
index 4f12b24..7ad7c0e 100644
--- a/parse/type.c
+++ b/parse/type.c
@@ -834,7 +834,6 @@ tyeq_rec(Type *a, Type *b, Bitset *avisited, Bitset *bvisited, int search)
switch (a->type) {
case Typaram:
ret = (a == b);
- /* FIXME: this streq check needs to go */
ret = ret || streq(a->pname, b->pname);
break;
case Tyvar: