From 70455b88a724309c2ce97634ae57c1c904808c08 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 30 Sep 2014 08:42:06 +0000 Subject: bugfix in the gate evaluate_value_lambda --- src/runtime/c/pgf/evaluator.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/runtime/c/pgf/evaluator.h') diff --git a/src/runtime/c/pgf/evaluator.h b/src/runtime/c/pgf/evaluator.h index a6a98cdf1..0e9236abb 100644 --- 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 -- cgit v1.2.3