Add numerical comparison primitive procedures

2 files changed, 175 insertions, 3 deletions

diff --git a/src/bootstrap/main.c b/src/bootstrap/main.c
index c0f2e50..b8bab47 100755
--- a/src/bootstrap/main.c
+++ b/src/bootstrap/main.c
@@ -36,6 +36,11 @@ init(void) {
     environment[env_n++] = (EnvSymbol){MAKE_SYM("-"), make_procedure(proc_sub)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("*"), make_procedure(proc_mul)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("/"), make_procedure(proc_div)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM("<"), make_procedure(proc_num_less_than)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM(">"), make_procedure(proc_num_greater_than)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM("="), make_procedure(proc_num_equal)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM("<="), make_procedure(proc_num_lesseq_than)};
+    environment[env_n++] = (EnvSymbol){MAKE_SYM(">="), make_procedure(proc_num_greatereq_than)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("boolean?"), make_procedure(proc_is_boolean)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("not"), make_procedure(proc_not)};
     environment[env_n++] = (EnvSymbol){MAKE_SYM("and"), make_procedure(proc_and)};
diff --git a/src/bootstrap/primitives.c b/src/bootstrap/primitives.c
index 29a1df8..485799d 100644
--- a/src/bootstrap/primitives.c
+++ b/src/bootstrap/primitives.c
@@ -346,13 +346,180 @@ proc_cond(Object *args) {
         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...
+Object *
+proc_num_less_than(Object *args) {
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+
+    Object *obj = eval(args->car);
+    if (obj->type != OBJ_TYPE_FIXNUM) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+    ssize_t prev = obj->fixnum;
+    args = args->cdr;
+
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+    while (args != obj_nil) {
+        Object *obj = eval(args->car);
+        if (obj->type != OBJ_TYPE_FIXNUM) {
+            fprintf(stderr, "error: wrong argument type.\n");
+            return NULL;
+        }
+        if (prev >= obj->fixnum) {
+            return obj_false;
+        }
+        prev = obj->fixnum;
+        args = args->cdr;
+    }
+    return obj_true;
+}
+
+Object *
+proc_num_greater_than(Object *args) {
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+
+    Object *obj = eval(args->car);
+    if (obj->type != OBJ_TYPE_FIXNUM) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+    ssize_t prev = obj->fixnum;
+    args = args->cdr;
+
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+    while (args != obj_nil) {
+        Object *obj = eval(args->car);
+        if (obj->type != OBJ_TYPE_FIXNUM) {
+            fprintf(stderr, "error: wrong argument type.\n");
+            return NULL;
+        }
+        if (prev <= obj->fixnum) {
+            return obj_false;
+        }
+        prev = obj->fixnum;
+        args = args->cdr;
+    }
+    return obj_true;
+}
+
+Object *
+proc_num_lesseq_than(Object *args) {
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+
+    Object *obj = eval(args->car);
+    if (obj->type != OBJ_TYPE_FIXNUM) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+    ssize_t prev = obj->fixnum;
+    args = args->cdr;
+
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+    while (args != obj_nil) {
+        Object *obj = eval(args->car);
+        if (obj->type != OBJ_TYPE_FIXNUM) {
+            fprintf(stderr, "error: wrong argument type.\n");
+            return NULL;
+        }
+        if (prev > obj->fixnum) {
+            return obj_false;
+        }
+        prev = obj->fixnum;
+        args = args->cdr;
+    }
+    return obj_true;
+}
+
+Object *
+proc_num_greatereq_than(Object *args) {
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+
+    Object *obj = eval(args->car);
+    if (obj->type != OBJ_TYPE_FIXNUM) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+    ssize_t prev = obj->fixnum;
+    args = args->cdr;
+
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+    while (args != obj_nil) {
+        Object *obj = eval(args->car);
+        if (obj->type != OBJ_TYPE_FIXNUM) {
+            fprintf(stderr, "error: wrong argument type.\n");
+            return NULL;
+        }
+        if (prev < obj->fixnum) {
+            return obj_false;
+        }
+        prev = obj->fixnum;
+        args = args->cdr;
+    }
+    return obj_true;
+}
+
+Object *
+proc_num_equal(Object *args) {
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+
+    Object *obj = eval(args->car);
+    if (obj->type != OBJ_TYPE_FIXNUM) {
+        fprintf(stderr, "error: wrong argument type.\n");
+        return NULL;
+    }
+    ssize_t prev = obj->fixnum;
+    args = args->cdr;
+
+    if (args == obj_nil) {
+        fprintf(stderr, "error: wrong number of arguments type.\n");
+        return NULL;
+    }
+    while (args != obj_nil) {
+        Object *obj = eval(args->car);
+        if (obj->type != OBJ_TYPE_FIXNUM) {
+            fprintf(stderr, "error: wrong argument type.\n");
+            return NULL;
+        }
+        if (prev != obj->fixnum) {
+            return obj_false;
+        }
+        prev = obj->fixnum;
+        args = args->cdr;
+    }
+    return obj_true;
+}
+
 // TODO: fixnum left/right shift, mask, invert