summaryrefslogtreecommitdiff
path: root/parse/type.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2017-08-23 10:56:45 -0700
committerOri Bernstein <ori@markovcorp.com>2017-08-23 10:56:45 -0700
commitf363110a62803e055334516ba0e1899e62be65ac (patch)
tree090f7c081dab8d47f58231c8cb8713c4ff997dce /parse/type.c
parent9f4568a0cd45791102980cecb76aaba3ff5b254e (diff)
downloadmc-f363110a62803e055334516ba0e1899e62be65ac.tar.gz
Resolve types in match rank.
Diffstat (limited to 'parse/type.c')
-rw-r--r--parse/type.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/parse/type.c b/parse/type.c
index 6d26670..92d611d 100644
--- a/parse/type.c
+++ b/parse/type.c
@@ -859,6 +859,8 @@ tymatchrank(Type *pat, Type *to)
size_t i;
Ucon *puc, *tuc;
+ pat = tysearch(pat);
+ to = tysearch(to);
if (pat->type == Typaram)
return 0;
else if (pat->type != to->type)