bugfix in the gate evaluate_value_lambda

2014-09-30 08:42:06 +00:00
parent f70eecb63c
commit 70455b88a7
3 changed files with 31 additions and 22 deletions
--- a/src/runtime/c/pgf/evaluator.h
+++ b/src/runtime/c/pgf/evaluator.h
@@ -86,6 +86,10 @@ struct PgfEvalGates {
 };

 PgfClosure*
-pgf_evaluate_expr_thunk(PgfEvalState* state, PgfClosure* closure);
+pgf_evaluate_expr_thunk(PgfEvalState* state, PgfExprThunk* thunk);
+
+PgfClosure*
+pgf_evaluate_lambda_application(PgfEvalState* state, PgfExprThunk* lambda,
+                                                     PgfClosure* arg);

 #endif