show.c

#include <stdio.h>
#include "stlc.h"

void
showterm(const term_t *term, const type_t *type, term_t t)
{
	if (ISVAR(t)) {
		printf("%ld", BINDER(t));
	}
	else if (ISAPP(t)) {
		putchar('(');
		showterm(term, type, LEFT(t));
		putchar(' ');
		showterm(term, type, RIGHT(t));
		putchar(')');
	}
	else {
		putchar('(');
		printf("\\%ld", t);
		if (type) {
			putchar(':');
			showtype(term, type, ATOM(t));
		}
		putchar('.');
		putchar(' ');
		showterm(term, type, BODY(t));
		putchar(')');
	}
}

void
showtype(const term_t *term, const type_t *type, type_t x)
{
	while (ISATOM(x) && VALUE(x) != NIL)
		x = VALUE(x);

	if (ISATOM(x)) {
		printf("%ld", ~x);
	}
	else {
		putchar('(');
		showtype(term, type, DOM(x));
		putchar('-');
		putchar('>');
		showtype(term, type, COD(x));
		putchar(')');
	}
}