diff options
Diffstat (limited to 'src/term.c')
| -rw-r--r-- | src/term.c | 29 |
1 files changed, 29 insertions, 0 deletions
@@ -6,6 +6,7 @@ #include <string.h> #include <term.h> +#include <print.h> #include <log.h> struct term *new_term(term_type type) @@ -39,3 +40,31 @@ void free_term(struct term *term) fatal("invalid type %d\n", term->type); } } + +void diff_term(struct term *a, struct term *b) +{ + if (a->type != b->type) { + fprintf(stderr, "Term a: "); + print_bruijn(a); + fprintf(stderr, "\nTerm b: "); + print_bruijn(b); + fatal("\ntype mismatch %d %d\n", a->type, b->type); + } + + switch (a->type) { + case ABS: + diff_term(a->u.abs.term, b->u.abs.term); + break; + case APP: + diff_term(a->u.app.lhs, b->u.app.lhs); + diff_term(a->u.app.rhs, b->u.app.rhs); + break; + case VAR: + if (a->u.var.index != b->u.var.index) + fatal("var mismatch %d=%d\n", a->u.var.index, + b->u.var.index); + break; + default: + fatal("invalid type %d\n", a->type); + } +} |