summaryrefslogtreecommitdiff
path: root/parse/parse.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-01-17 22:18:26 -0800
committerOri Bernstein <ori@eigenstate.org>2018-01-17 22:18:26 -0800
commit490e90d2122d80bce4e5f710e046b90fc9cc31ca (patch)
treefe90f739ae700c7f68bdf2f1fdaec2df2dd3d21f /parse/parse.h
parent8e1bb5d4fc204ce149ceb545aef7b783d73641bc (diff)
downloadmc-490e90d2122d80bce4e5f710e046b90fc9cc31ca.tar.gz
Hack in seqaux.
It's not perfect, and the right solution would be to keep a trait->aux mapping, but for now it works good enough.
Diffstat (limited to 'parse/parse.h')
-rw-r--r--parse/parse.h7
1 files changed, 3 insertions, 4 deletions
diff --git a/parse/parse.h b/parse/parse.h
index 06b0b11..1bf0029 100644
--- a/parse/parse.h
+++ b/parse/parse.h
@@ -1,4 +1,4 @@
-#define Abiversion 15
+#define Abiversion 16
typedef struct Srcloc Srcloc;
typedef struct Tysubst Tysubst;
@@ -135,8 +135,7 @@ struct Type {
Traitspec **spec;
size_t nspec;
- //Node **traits; /* trait list */
- //size_t ntraits; /* trait list size */
+ Type *seqaux;
Type **gparam; /* Tygeneric: type parameters that match the type args */
size_t ngparam; /* Tygeneric: count of type parameters */
@@ -544,7 +543,7 @@ void substfree(Tysubst *subst);
void substput(Tysubst *subst, Type *from, Type *to);
Type *substget(Tysubst *subst, Type *from);
Node *specializedcl(Node *n, Type *param, Type *to, Node **name);
-Type *tyspecialize(Type *t, Tysubst *tymap, Htab *delayed, Htab *tybase);
+Type *tyspecialize(Type *t, Tysubst *tymap, Htab *delayed);
Node *genericname(Node *n, Type *param, Type *t);
void geninit(void);