diff options
author | Marvin Borner | 2023-05-27 00:37:19 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-27 00:37:19 +0200 |
commit | ac039e6fcbdec3dc6c8e28013e1b3a20068c84ee (patch) | |
tree | e0b9db6a303e1369054b478cc44a8ea7d3d7d44d /inc/parse.h | |
parent | 90a0366ba0556314b8624a3f46c667eaf5824e4c (diff) |
Basic schedule initialization
Diffstat (limited to 'inc/parse.h')
-rw-r--r-- | inc/parse.h | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/inc/parse.h b/inc/parse.h index c1e21b2..e79fb26 100644 --- a/inc/parse.h +++ b/inc/parse.h @@ -15,11 +15,11 @@ struct term { size_t depth; union { struct { - hash_t term; + struct term *term; } abs; struct { - hash_t lhs; - hash_t rhs; + struct term *lhs; + struct term *rhs; } app; struct { int index; @@ -27,7 +27,12 @@ struct term { } u; }; -hash_t parse_blc(char **term, int depth); +struct term_handle { + struct term *term; + hash_t hash; +}; + +struct term_handle parse_blc(char **term, size_t depth); int parse_get_max_depth(void); #endif |