summaryrefslogtreecommitdiff
path: root/parse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-10-18 23:27:45 -0700
committerOri Bernstein <ori@eigenstate.org>2018-10-18 23:27:45 -0700
commit4d6ba69e91ccaa8c3f089aa2ecfd37042350d101 (patch)
tree7daa67faed7804a95326e8d3d0ee6de1bc39f736 /parse
parent2d9fe7100209acb431e392d58e4cf4eccfde00b7 (diff)
downloadmc-4d6ba69e91ccaa8c3f089aa2ecfd37042350d101.tar.gz
Remove bogus assert.
Diffstat (limited to 'parse')
-rw-r--r--parse/type.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/parse/type.c b/parse/type.c
index 1606269..c931f7d 100644
--- a/parse/type.c
+++ b/parse/type.c
@@ -236,8 +236,6 @@ mktygeneric(Srcloc loc, Node *name, Type **param, size_t nparam, Type *base)
bindtype(t->env, param[i]);
if (!base->env)
base->env = t->env;
- else
- assert(base->env->super == t->env || base->narg > 0);
return t;
}