1 files changed, 31 insertions, 21 deletions

diff --git a/test.toc b/test.toc
index 936820e..8f2c3ad 100644
--- a/test.toc
+++ b/test.toc
@@ -7,27 +7,37 @@ putf @= fn(x: float) {
 ");
 };
 
-// f @= fn(x @ int) Type {
-// struct {
-// a: [x]float;
-// }
-// };
-
-
-
-pair @= fn(s @ Type) Type {
-struct {
-x:s;
-y:s;
-}
+Arr @= fn (t @ Type) Type {
+	struct {
+		   data : []t;
+		   len, cap : u64;
+	}
 };
 
-main @= fn() {
-a : pair(int);
-b : pair(int);
-c : pair(float);
-a.x = 5;
-puti(a.x);
-c.x = 13.3;
-putf(c.x);
+// todo: test that t @ type doesn't cause problems 
+arr_add @= fn(t @ Type, a : &Arr(t), x : t) {
+		if a.len >= a.cap {
+		   a.cap = a.cap * 2 + 2;
+		   new_data := new(t, a.cap);
+		   each i := 0..a.len {
+		   		new_data[i] = a.data[i];
+		   }
+		   a.data = new_data;
+		}
+		a.data[a.len] = x;
+		a.len += 1;
 };
+
+// main @= fn() {
+// 	 arr : Arr(int);
+// 	 // arr_add(int, &arr, 5);
+// 	 // arr_add(int, &arr, 10);
+// 	 // arr_add(int, &arr, 20);
+// 	 // each i := 0..arr.len - 1 {
+// 	 // 	  puti(arr.data[i]);
+// 	 // }
+// };
+
+// t @= fn(x @ Type) Type { struct { t: x; } };
+// // pass the wrong thing to t, and the error is in the wrong place
+// f @= fn(x: t(int)) {};
\ No newline at end of file