1 files changed, 44 insertions, 42 deletions

diff --git a/test.toc b/test.toc
index e8f19ce..43db0c9 100644
--- a/test.toc
+++ b/test.toc
@@ -1,51 +1,53 @@
-// // puti @= fn(x: int) {
-// // 	 #C("printf(\"%ld\\n\", (long)x);
-// // ");
-// // };
-// // putf @= fn(x: float) {
-// // 	 #C("printf(\"%f\\n\", (double)x);
-// // ");
-// // };
-
-// Arr @= fn (t @ Type) Type {
-// 	struct {
-// 		   data : t;
-// 		   // len, cap : u64;
-// 	}
+puti @= fn(x: int) {
+	 #C("printf(\"%ld\\n\", (long)x);
+");
+};
+// putf @= fn(x: float) {
+// 	 #C("printf(\"%f\\n\", (double)x);
+// ");
 // };
 
-// // todo: test that t @ type doesn't cause problems 
-// arr_add @= fn(t @ Type, a : &Arr(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;
-// };
+Arr @= fn (t @ Type) Type {
+	struct {
+		   data : []t;
+		   len, cap : int;
+	}
+};
 
+// 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-1 {
+		   		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
+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]);
+	 }
+};
 
-// // f @= fn(x: t(int)) {};
+// t @= fn(x @ Type) Type { struct { t: x; } };
+// // pass the wrong thing to t, and the error is in the wrong place
 
-f @= fn(t @ Type, x : t) {
-};
+// f @= fn(x: t(int)) {};
 
-main @= fn() { f(int, 3); };
\ No newline at end of file
+// f @= fn(t @ Type, x : t) {
+// };
+
+// main @= fn() {
+// 	 f(int,3);
+// };
\ No newline at end of file