summaryrefslogtreecommitdiff
path: root/parse/parse.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-07-29 15:14:05 -0700
committerOri Bernstein <ori@eigenstate.org>2017-07-29 15:14:05 -0700
commit2fa02e1d1d3df890d4349316389633d58c986254 (patch)
treee0a315e6e4bf2f9c3b150aca8f9d465bcdad3d70 /parse/parse.h
parent404ed1ddb3faa4fec7ee4fd8fddc5bbdec284bde (diff)
downloadmc-2fa02e1d1d3df890d4349316389633d58c986254.tar.gz
Finally do a by-scope comparison of generic types.
This should clear the way for better deduplication.
Diffstat (limited to 'parse/parse.h')
-rw-r--r--parse/parse.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/parse/parse.h b/parse/parse.h
index 24c273a..97198a8 100644
--- a/parse/parse.h
+++ b/parse/parse.h
@@ -427,7 +427,7 @@ void pushstab(Stab *st);
void popstab(void);
void bindtype(Tyenv *env, Type *t);
-int isbound(Type *t);
+Type *boundtype(Type *t);
Tyenv *mkenv(void);
Tyenv *curenv(void);
void pushenv(Tyenv *e);