summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Perktold <Felix.Perktold@student.uibk.ac.at>2025-12-21 23:28:15 +0100
committerFelix Perktold <Felix.Perktold@student.uibk.ac.at>2025-12-21 23:28:15 +0100
commit33b3d80c2dcd12dbf692984e0d736bfa9906a8b5 (patch)
tree6808f532ce6af3674a27b2e1250c348fd8742f73
parent85e9fef4aa8855b6660ce8c8cc8d6f5fb0d507b6 (diff)
fix bug in apply, improve printing
-rw-r--r--lisp.c17
-rw-r--r--lisp.h2
-rw-r--r--lisp.y6
-rw-r--r--main.c2
4 files changed, 17 insertions, 10 deletions
diff --git a/lisp.c b/lisp.c
index 22e90b5..da0a5f6 100644
--- a/lisp.c
+++ b/lisp.c
@@ -265,21 +265,26 @@ value *eval_pair(env *e, value *v) {
}
if (head_eval->type == VT_LAMBDA) {
- return apply(head_eval, tail);
+ return apply(e, head_eval, tail);
}
return v;
}
-value *apply(value *lval, value *args) {
- env *sub_env = env_create(lval->as.lambda.env);
+value *apply(env *e, value *lval, value *args) {
+ env *sub_env = env_create(e);
value *params = lval->as.lambda.params;
value *arg = args;
while (params->type == VT_PAIR && arg->type == VT_PAIR) {
- env_define(sub_env,
- car(params)->as.sym,
- eval(lval->as.lambda.env, car(arg)));
+ if (car(params)->type != VT_SYMBOL) {
+ printf("not a symbol: ");
+ println_value(car(params));
+ return make_nil();
+ }
+
+ value *arg_eval = eval(e, car(arg));
+ env_define(sub_env, car(params)->as.sym, arg_eval);
params = cdr(params);
arg = cdr(arg);
}
diff --git a/lisp.h b/lisp.h
index 2e95fb9..5abdfd4 100644
--- a/lisp.h
+++ b/lisp.h
@@ -68,7 +68,7 @@ extern env *global_env;
value *eval(env *e, value *val);
value *eval_pair(env *e, value *val);
-value *apply(value *lambda, value *args);
+value *apply(env *e, value *lambda, value *args);
value *builtin_cons(env *e, value *args);
value *builtin_car(env *e, value *args);
diff --git a/lisp.y b/lisp.y
index 734bfa2..ffb9bf9 100644
--- a/lisp.y
+++ b/lisp.y
@@ -25,13 +25,15 @@ int yyerror(const char *s);
%%
sexprs: sexpr
{
+ value *v = eval(global_env, $1);
printf(";> ");
- println_value(eval(global_env, $1));
+ println_value(v);
}
| sexprs sexpr
{
+ value *v = eval(global_env, $2);
printf(";> ");
- println_value(eval(global_env, $2));
+ println_value(v);
};
sexpr: atom
diff --git a/main.c b/main.c
index f297402..563d98a 100644
--- a/main.c
+++ b/main.c
@@ -23,7 +23,7 @@ int main(void) {
env_define(global_env, "<=", make_builtin(builtin_le));
// START REPL
char* line;
- while ((line = readline("λ > ")) != NULL) {
+ while ((line = readline("λ> ")) != NULL) {
if (*line) {
add_history(line);
}