remove the pgf2yaml tool which was both broken and redundant. The declarations for generic programming from data.c are removed as well

1 files changed, 0 insertions, 34 deletions

diff --git a/src/runtime/c/utils/pgf2yaml.c b/src/runtime/c/utils/pgf2yaml.c
deleted file mode 100644
index 0d32bf3e3..000000000
--- a/src/runtime/c/utils/pgf2yaml.c
+++ /dev/null
@@ -1,34 +0,0 @@
-#include <pgf/pgf.h>
-
-#include <gu/dump.h>
-#include <gu/file.h>
-#include <gu/utf8.h>
-
-int main(int argc, char* argv[]) {
-	if (argc != 1) {
-		fprintf(stderr, "usage: %s pgf\n", argv[0]);
-		return 1;
-	}
-	char* filename = argv[1];
-
-	GuPool* pool = gu_new_pool();
-	GuExn* err = gu_exn(NULL, type, pool);
-	PgfPGF* pgf = pgf_read(filename, pool, err);
-	int status = 0;
-	if (!gu_ok(err)) {
-		fprintf(stderr, "Reading PGF failed\n");
-		status = 1;
-		goto fail_read;
-	}
-	GuOut* out = gu_file_out(stdout, pool);
-	GuOut* bout = gu_out_buffered(out, pool);
-	// GuWriter* wtr = gu_locale_writer(bout, pool);
-	GuWriter* wtr = gu_new_utf8_writer(bout, pool);
-	GuDump* ctx = gu_new_dump(wtr, NULL, err, pool);
-	gu_dump(gu_type(PgfPGF), pgf, ctx);
-	gu_writer_flush(wtr, err);
-fail_read:
-	gu_pool_free(pool);
-	return status;
-}
-