diff options
| author | Marvin Borner | 2023-05-29 16:51:35 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-05-29 16:51:35 +0200 |
| commit | 5575fbc92dd3076f5ed3f44e6e041c6074a71fd1 (patch) | |
| tree | 3d62c965d025ea11064debc3d9d109bc26958e50 /src/parse.c | |
| parent | f1dc637384f91bffe2342b8717c68b2f2cd2203e (diff) | |
Started reducer
has some problems still
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parse.c b/src/parse.c index b10a698..730ef44 100644 --- a/src/parse.c +++ b/src/parse.c @@ -18,7 +18,7 @@ static struct term_handle abs_blc(char **term, size_t depth) struct term *res_term; if ((res_term = map_get(res))) { - term_refer(res_term, depth); + term_refer_head(res_term, depth); } else { res_term = term_new(res_type, res, depth); res_term->u.abs.term = inner.term; @@ -39,7 +39,7 @@ static struct term_handle app_blc(char **term, size_t depth) struct term *res_term; if ((res_term = map_get(res))) { - term_refer(res_term, depth); + term_refer_head(res_term, depth); } else { res_term = term_new(res_type, res, depth); res_term->u.app.lhs = lhs.term; @@ -57,7 +57,7 @@ static struct term_handle var_blc(int index, size_t depth) struct term *res_term; if ((res_term = map_get(res))) { - term_refer(res_term, depth); + term_refer_head(res_term, depth); } else { res_term = term_new(res_type, res, depth); res_term->u.var.index = index; |