aboutsummaryrefslogtreecommitdiff
path: root/inc
diff options
context:
space:
mode:
Diffstat (limited to 'inc')
-rw-r--r--inc/term.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/inc/term.h b/inc/term.h
index 9c7dbc9..a77f144 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -1,7 +1,7 @@
#ifndef TERM_H
#define TERM_H
-typedef enum { INV, ABS, APP, VAR } term_type;
+typedef enum { INV, ABS, APP, VAR, CLO, CACHE } term_type;
struct term {
term_type type;
@@ -18,6 +18,7 @@ struct term {
int name;
enum { BRUIJN_INDEX, BARENDREGT_VARIABLE } type;
} var;
+ void *other;
} u;
};