Add cond special form

2 files changed, 27 insertions, 1 deletions

diff --git a/src/bootstrap/main.c b/src/bootstrap/main.c
index 8ec1231..c0f2e50 100755
--- a/src/bootstrap/main.c
+++ b/src/bootstrap/main.c
@@ -41,6 +41,8 @@ init(void) {
     environment[env_n++] = (EnvSymbol){MAKE_SYM("and"), make_procedure(proc_and)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("or"), make_procedure(proc_or)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("if"), make_procedure(proc_if)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM("else"), obj_true};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM("cond"), make_procedure(proc_cond)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("display"), make_procedure(proc_display)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("print"), make_procedure(proc_print)};
 }
diff --git a/src/bootstrap/primitives.c b/src/bootstrap/primitives.c
index 61ce360..29a1df8 100644
--- a/src/bootstrap/primitives.c
+++ b/src/bootstrap/primitives.c
@@ -329,6 +329,30 @@ proc_if(Object *args) {
     return obj_nil;
 }
 
-// TODO: cond
+Object *
+proc_cond(Object *args) {
+    if (args->type != OBJ_TYPE_PAIR) {
+        fprintf(stderr, "error: wrong number of arguments.\n");
+        return NULL;
+    }
+
+    if (args->car->type != OBJ_TYPE_PAIR) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+
+    while (args != obj_nil) {
+        Object *clause = args->car;
+        if (eval(clause->car) == obj_true) {
+            return eval(clause->cdr->car);
+        }
+
+        args = args->cdr;
+        clause = args->car;
+    }
+
+    return obj_nil;
+}
+
 // TODO: equality greater than smaller than...
 // TODO: fixnum left/right shift, mask, invert