diff options
| author | krasimir <krasimir@chalmers.se> | 2017-01-26 10:17:02 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-01-26 10:17:02 +0000 |
| commit | 6af632dd185b176222724cce47a49428f1301752 (patch) | |
| tree | 2fea848701ca17de3365b5d5621c085de1fbdaa2 /src/runtime/c/pgf/expr.h | |
| parent | be43d5dfdc777995d237e224da7f627426774527 (diff) | |
added mkMeta and unMeta in the Haskell binding
Diffstat (limited to 'src/runtime/c/pgf/expr.h')
| -rw-r--r-- | src/runtime/c/pgf/expr.h | 15 |
1 files changed, 15 insertions, 0 deletions
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 @@ -147,6 +147,12 @@ 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); PgfExpr @@ -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); |