static Term * EvalLambda(Lambda lambda, List arguments) {
Term * formalArgument = NULL, * argument = NULL;
ContextBindings * childContextBindings = AllocateContextBindings(lambda.context);
while(formalArgument = Iterate(&lambda.formalArguments)) {
argument = Iterate(&arguments);
if (!argument)
return InvalidArgumentCount();
CheckTermType(formalArgument, terVariable);
childContextBindings->dictionary = Set(childContextBindings->dictionary, formalArgument->variable, argument);
}
if (Iterate(&arguments))
return InvalidArgumentCount();
return EvalList(lambda.body, childContextBindings);
}
Expr* EvalPair(Env* env, Expr* expr, Expr* cont){
expr = expr->u.list;
// expr=expr->next;
if(strcmp(expr->u.symbol, "+") == 0){
return EvalPlus(env, expr, cont);
}else if(strcmp(expr->u.symbol, "-") == 0){
return EvalMinus(env, expr, cont);
}else if(strcmp(expr->u.symbol, "*") == 0){
return EvalMul(env, expr, cont);
}else if(strcmp(expr->u.symbol, "define") == 0){
return EvalDefine(env, expr, cont);
}else if(strcmp(expr->u.symbol, "if") == 0){
return EvalIf(env, expr, cont);
}else if(strcmp(expr->u.symbol, "lambda") == 0){
return EvalLambda(env, expr, cont);
}else if(strcmp(expr->u.symbol, "halt") == 0){
// return expr; // return Halt expression.
return Eval(env, GetSecond(expr), cont);
}else if(strcmp(expr->u.symbol, "car") == 0){
return EvalCar(env, expr, cont);
}else if(strcmp(expr->u.symbol, "cdr") == 0){
return EvalCdr(env, expr, cont);
}else if(strcmp(expr->u.symbol, "null?") == 0){
return EvalNullp(env, expr, cont);
}else if(strcmp(expr->u.symbol, "pair?") == 0){
return EvalPairp(env, expr, cont);
}else if(strcmp(expr->u.symbol, "list")== 0){
// puts("to EvalList");
Expr* ret = EvalList(env, expr, cont);
// puts("from EvalList");
return ret;
}else if(strcmp(expr->u.symbol, "let") == 0){
puts("go let");
return EvalLet(env, expr, cont);
}else if(strcmp(expr->u.symbol, "cons") == 0){
return EvalCons(env ,expr, cont);
}else if(strcmp(expr->u.symbol, "append") == 0){
return EvalAppend(env, expr, cont);
}else if(strcmp(expr->u.symbol, ">") == 0){
return EvalGT(env, expr, cont);
}else{
// puts("Eval Function");
char* funcname = expr->u.symbol;
// printf("funcname is %s\n", funcname);
Expr* ret = EvalFunction(env, expr, cont);
return ret;
// printf("funcname %s end\n", funcname);
}
}
