GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-20 10:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

added exprFunctions in the Haskell binding

Browse Source
This commit is contained in:
Krasimir Angelov
2017-09-05 10:07:43 +02:00
parent 85cf2d9f5a
commit 30b7ba04c7
4 changed files with 66 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
src/runtime/c/pgf/expr.c
View File

@@ -1210,6 +1210,55 @@ pgf_expr_size(PgfExpr expr)
}
}
static void
pgf_expr_functions_helper(PgfExpr expr, GuBuf* functions)
{
GuVariantInfo ei = gu_variant_open(expr);
switch (ei.tag) {
case PGF_EXPR_ABS: {
PgfExprAbs* abs = ei.data;
pgf_expr_functions_helper(abs->body, functions);
break;
}
case PGF_EXPR_APP: {
PgfExprApp* app = ei.data;
pgf_expr_functions_helper(app->fun, functions);
pgf_expr_functions_helper(app->arg, functions);
break;
}
case PGF_EXPR_LIT:
case PGF_EXPR_META:
case PGF_EXPR_VAR: {
break;
}
case PGF_EXPR_FUN:{
PgfExprFun* fun = ei.data;
gu_buf_push(functions, GuString, fun->fun);
break;
}
case PGF_EXPR_TYPED: {
PgfExprTyped* typed = ei.data;
pgf_expr_functions_helper(typed->expr, functions);
break;
}
case PGF_EXPR_IMPL_ARG: {
PgfExprImplArg* impl = ei.data;
pgf_expr_functions_helper(impl->expr, functions);
break;
}
default:
gu_impossible();
}
}
PGF_API GuSeq*
pgf_expr_functions(PgfExpr expr, GuPool* pool)
{
GuBuf* functions = gu_new_buf(GuString, pool);
pgf_expr_functions_helper(expr, functions);
return gu_buf_data_seq(functions);
}
PGF_API void
pgf_print_cid(PgfCId id,
GuOut* out, GuExn* err)