From 85cf2d9f5a1018219beb51c1172842cddda1f544 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 5 Sep 2017 09:50:29 +0200
Subject: added exprSize in the Haskell binding

---
 src/runtime/c/pgf/expr.c | 33 +++++++++++++++++++++++++++++++++
 src/runtime/c/pgf/expr.h |  3 +++
 2 files changed, 36 insertions(+)

(limited to 'src/runtime/c')

diff --git a/src/runtime/c/pgf/expr.c b/src/runtime/c/pgf/expr.c
index f9fcd1442..751a7d25a 100644
--- a/src/runtime/c/pgf/expr.c
+++ b/src/runtime/c/pgf/expr.c
@@ -1177,6 +1177,39 @@ pgf_expr_hash(GuHash h, PgfExpr e)
 	return h;
 }
 
+PGF_API size_t
+pgf_expr_size(PgfExpr expr)
+{
+	GuVariantInfo ei = gu_variant_open(expr);
+	switch (ei.tag) {
+	case PGF_EXPR_ABS: {
+		PgfExprAbs* abs = ei.data;
+		return pgf_expr_size(abs->body);
+	}
+	case PGF_EXPR_APP: {
+		PgfExprApp* app = ei.data;
+		return pgf_expr_size(app->fun) + pgf_expr_size(app->arg);
+	}
+	case PGF_EXPR_LIT:
+	case PGF_EXPR_META:
+	case PGF_EXPR_FUN:
+	case PGF_EXPR_VAR: {
+		return 1;
+	}
+	case PGF_EXPR_TYPED: {
+		PgfExprTyped* typed = ei.data;
+		return pgf_expr_size(typed->expr);
+	}
+	case PGF_EXPR_IMPL_ARG: {
+		PgfExprImplArg* impl = ei.data;
+		return pgf_expr_size(impl->expr);
+	}
+	default:
+		gu_impossible();
+		return 0;
+	}
+}
+
 PGF_API void
 pgf_print_cid(PgfCId id,
 			  GuOut* out, GuExn* err)
diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h
index 6492f8d18..962b3173f 100644
--- a/src/runtime/c/pgf/expr.h
+++ b/src/runtime/c/pgf/expr.h
@@ -197,6 +197,9 @@ pgf_literal_hash(GuHash h, PgfLiteral lit);
 PGF_API_DECL GuHash
 pgf_expr_hash(GuHash h, PgfExpr e);
 
+PGF_API size_t
+pgf_expr_size(PgfExpr expr);
+
 typedef struct PgfPrintContext PgfPrintContext;
 
 struct PgfPrintContext {
-- 
cgit v1.2.3