diff options
Diffstat (limited to 'src/term.c')
| -rw-r--r-- | src/term.c | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -2,6 +2,7 @@ // SPDX-License-Identifier: MIT #include <stdlib.h> +#include <stdio.h> #include <log.h> #include <term.h> @@ -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) { */ |