Initial commit.

Not sure if everything here will be needed eventually, but we have a
working bytecode interpreter. Next I will write the linker, then the
core compiler, and finish with the macro expander.

1 files changed, 54 insertions, 0 deletions

diff --git a/vec.csc b/vec.csc
new file mode 100644
index 0000000..03f2b0f
--- /dev/null
+++ b/vec.csc
@@ -0,0 +1,54 @@
+(define-library (csc vec)
+  (export
+    list->vec
+    vec
+    vec->list
+    vec-append
+    vec-length
+    vec-ref
+    vec?)
+  (import (scheme base))
+  (begin
+
+
+    (define-record-type <vec>
+      (make-vec len arr)
+      vec?
+      (len vec-length)
+      (arr vec-arr))
+
+
+    (define (list->vec l)
+      (let ((arr (list->vector l)))
+        (make-vec (vector-length arr) arr)))
+
+
+    (define (vec->list v)
+      (vector->list (vec-arr v) 0 (vec-length v)))
+
+
+    (define (vec . xs)
+      (list->vec xs))
+
+
+    (define (vec-append v . xs)
+      (let ((append-one
+              (lambda (v x)
+                (let ((new-v (if (> (vector-length (vec-arr v)) (vec-length v))
+                                 v
+                               (let ((new-arr (make-vector (max 1 (* 2 (vec-length v))))))
+                                 (vector-copy! new-arr 0 (vec-arr v))
+                                 (make-vec (vec-length v) new-arr)))))
+                  (vector-set! (vec-arr new-v) (vec-length new-v) x)
+                  (make-vec (+ 1 (vec-length new-v)) (vec-arr new-v))))))
+        (let loop ((v v)
+                   (xs xs))
+          (if (null? xs)
+              v
+            (loop (append-one v (car xs)) (cdr xs))))))
+
+
+    (define (vec-ref v k)
+      (if (>= k (vec-length v))
+          (error "index out of bounds" k)
+        (vector-ref (vec-arr v) k)))))