diff options
author | Marvin Borner | 2023-05-27 10:07:24 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-27 10:07:24 +0200 |
commit | abf68e0ad6c9f6d6cd14693894c609faca925e22 (patch) | |
tree | 0ac1a7f74f1543d8343ed346c577dbf1cda93bfe /inc/parse.h | |
parent | 337ec809393b709b36ca7b64d77489ae4bc1af1c (diff) |
Moved term logic
Diffstat (limited to 'inc/parse.h')
-rw-r--r-- | inc/parse.h | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/inc/parse.h b/inc/parse.h index e79fb26..9dfa388 100644 --- a/inc/parse.h +++ b/inc/parse.h @@ -5,27 +5,7 @@ #define CALM_PARSE_H #include <lib/hash.h> - -typedef enum { INV, ABS, APP, VAR } term_type_t; - -struct term { - term_type_t type; - hash_t hash; - size_t refs; - size_t depth; - union { - struct { - struct term *term; - } abs; - struct { - struct term *lhs; - struct term *rhs; - } app; - struct { - int index; - } var; - } u; -}; +#include <term.h> struct term_handle { struct term *term; |