From f640ceee89836b56ac95c4eb1b0a43d1171c3354 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 17 May 2023 00:19:14 +0200
Subject: General improvements

(nothing special, mainly cleanup and docs)
---
 src/term.c | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

(limited to 'src/term.c')

diff --git a/src/term.c b/src/term.c
index 50333c7..63bbb05 100644
--- a/src/term.c
+++ b/src/term.c
@@ -12,7 +12,30 @@ struct term *new_term(term_type type)
 {
 	struct term *term = malloc(sizeof(*term));
 	if (!term)
-		fatal("Out of memory!\n");
+		fatal("out of memory!\n");
 	term->type = type;
 	return term;
 }
+
+void free_term(struct term *term)
+{
+	switch (term->type) {
+	case ABS:
+		free_term(term->u.abs.term);
+		free(term);
+		break;
+	case APP:
+		free_term(term->u.app.lhs);
+		free_term(term->u.app.rhs);
+		free(term);
+		break;
+	case VAR:
+		free(term);
+		break;
+	case REF:
+		free(term);
+		break;
+	default:
+		fatal("invalid type %d\n", term->type);
+	}
+}
-- 
cgit v1.2.3