summaryrefslogtreecommitdiff
path: root/parse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-10-27 14:54:44 -0700
committerOri Bernstein <ori@eigenstate.org>2018-10-27 14:54:44 -0700
commit1708e4bc0d9d199b17054a5837e89fabfdc4298e (patch)
tree59006cae6ab1b617727fdacd43fe09cfea750826 /parse
parent1018f0d5c592cbe9c2d78b7197369f422ffa26b0 (diff)
parent06f83c93631d8af9eb25199a8229183c48b89ce8 (diff)
downloadmc-1708e4bc0d9d199b17054a5837e89fabfdc4298e.tar.gz
Merge branch 'master' of git+ssh://git.eigenstate.org/git/ori/mc
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;
}