summaryrefslogtreecommitdiff
path: root/parse/node.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-01-14 19:21:58 -0800
committerOri Bernstein <ori@eigenstate.org>2018-01-14 19:21:58 -0800
commitac6c06f906d356b0004ed450558dd890c7057fbf (patch)
tree5a1c7f9569246835f820fded51a10be917a2943f /parse/node.c
parent9d5831fb236f42fe126160c339a70452ef0fa460 (diff)
downloadmc-ac6c06f906d356b0004ed450558dd890c7057fbf.tar.gz
Fix binding of type env in traits.
Diffstat (limited to 'parse/node.c')
-rw-r--r--parse/node.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/parse/node.c b/parse/node.c
index 6e9a8ce..e4332f9 100644
--- a/parse/node.c
+++ b/parse/node.c
@@ -264,6 +264,9 @@ mkimplstmt(Srcloc loc, Node *name, Type *t, Type **aux, size_t naux, Node **decl
n->impl.env = mkenv();
bindtype(n->impl.env, t);
}
+ for (i = 0; i < naux; i++)
+ if (hasparams(aux[i]))
+ bindtype(n->impl.env, aux[i]);
return n;
}