From f1dc637384f91bffe2342b8717c68b2f2cd2203e Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 29 May 2023 14:11:42 +0200 Subject: Switched to wider indices I mean these programs would certainly be quite weird but it doesn't change the struct size anyway so better be prepared amirite --- src/term.c | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'src/term.c') diff --git a/src/term.c b/src/term.c index b2202cc..903ee8a 100644 --- a/src/term.c +++ b/src/term.c @@ -2,6 +2,7 @@ // SPDX-License-Identifier: MIT #include +#include #include #include @@ -25,6 +26,29 @@ void term_refer(struct term *term, size_t depth) term->depth = depth; } +void term_print(struct term *term) +{ + switch (term->type) { + case ABS: + fprintf(stderr, "["); + term_print(term->u.abs.term); + fprintf(stderr, "]"); + break; + case APP: + fprintf(stderr, "("); + term_print(term->u.app.lhs); + fprintf(stderr, " "); + term_print(term->u.app.rhs); + fprintf(stderr, ")"); + break; + case VAR: + fprintf(stderr, "%ld", term->u.var.index); + break; + default: + fatal("invalid type %d\n", term->type); + } +} + /* void deref_term(struct term *term) */ /* { */ /* if (term->type == ABS) { */ -- cgit v1.2.3