Add translation mode and statisticsHEADmain

1 files changed, 0 insertions, 89 deletions

diff --git a/src/app.c b/src/app.c
deleted file mode 100644
index cc7eda9..0000000
--- a/src/app.c
+++ /dev/null
@@ -1,89 +0,0 @@
-// Copyright (c) 2024, Marvin Borner <dev@marvinborner.de>
-// SPDX-License-Identifier: MIT
-
-#include <log.h>
-#include <impl.h>
-
-static void encode(Term *term, FILE *fp)
-{
-	switch (term->type) {
-	case ABS:
-		fprintf(fp, "01");
-		encode(term->u.abs.body, fp);
-		break;
-	case APP:
-		fprintf(fp, "0");
-
-		Term *stack[128] = { 0 }; // TODO: HEAP!
-		int stacked = 0;
-
-		while (1) {
-			fprintf(fp, "0");
-			stack[stacked++] = term->u.app.rhs;
-			term = term->u.app.lhs;
-			if (term->type != APP)
-				break;
-		}
-
-		fprintf(fp, "1");
-		encode(term, fp);
-		for (int i = stacked - 1; i >= 0; i--)
-			encode(stack[i], fp);
-		break;
-	case IDX:
-		for (size_t i = 0; i <= term->u.index; i++)
-			fprintf(fp, "1");
-		fprintf(fp, "0");
-		break;
-	default:
-		fatal("invalid type %d\n", term->type);
-	}
-}
-
-static Term *decode(FILE *fp)
-{
-	Term *res = 0;
-
-	char a = getc(fp);
-
-	if (a == '0') {
-		size_t count = 0;
-		while (getc(fp) == '0')
-			count++;
-
-		if (count == 0) {
-			res = term_new(ABS);
-			res->u.abs.body = decode(fp);
-		} else { // foldl1
-			res = term_new(APP);
-			res->u.app.lhs = decode(fp);
-			res->u.app.rhs = decode(fp);
-
-			for (size_t i = 0; i < count - 1; i++) {
-				Term *prev = res;
-				res = term_new(APP);
-				res->u.app.lhs = prev;
-				res->u.app.rhs = decode(fp);
-			}
-		}
-	} else if (a == '1') {
-		res = term_new(IDX);
-		res->u.index = 0;
-		while (getc(fp) == '1')
-			res->u.index++;
-	}
-
-	if (!res)
-		fatal("invalid parsing state!\n");
-
-	return res;
-}
-
-Impl impl_app(void)
-{
-	return (Impl){
-		.name = "app",
-		.encode = encode,
-		.decode = decode,
-	};
-}