From 6af632dd185b176222724cce47a49428f1301752 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 26 Jan 2017 10:17:02 +0000 Subject: added mkMeta and unMeta in the Haskell binding --- src/runtime/c/pgf/expr.h | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/runtime/c/pgf/expr.h') diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h index 763d1ba4f..a2ce6dc42 100644 --- a/src/runtime/c/pgf/expr.h +++ b/src/runtime/c/pgf/expr.h @@ -146,6 +146,12 @@ pgf_expr_unapply(PgfExpr expr, GuPool* pool); PgfExpr pgf_expr_apply(PgfApplication*, GuPool* pool); +PgfExpr +pgf_expr_abs(PgfBindType bind_type, PgfCId id, PgfExpr body, GuPool* pool); + +PgfExprAbs* +pgf_expr_unabs(PgfExpr expr); + PgfExpr pgf_expr_string(GuString, GuPool* pool); @@ -155,6 +161,15 @@ pgf_expr_int(int val, GuPool* pool); PgfExpr pgf_expr_float(double val, GuPool* pool); +void* +pgf_expr_unlit(PgfExpr expr, int lit_tag); + +PgfExpr +pgf_expr_meta(int id, GuPool* pool); + +PgfExprMeta* +pgf_expr_unmeta(PgfExpr expr); + PgfExpr pgf_read_expr(GuIn* in, GuPool* pool, GuExn* err); -- cgit v1.2.3