1 files changed, 34 insertions, 20 deletions

diff --git a/test.toc b/test.toc
index f1cf021..e030af4 100644
--- a/test.toc
+++ b/test.toc
@@ -1,23 +1,37 @@
-#include "std/io.toc", io;
+printf ::= #foreign("printf","libc.so.6") fn(#C &"const char", #C ..) #C int;
 
-Point3D ::= struct {
-	x, y, z: f32;
-}
+
+// NOTE: this doesn't work (e.g. "%%%")
+tprintf_valid ::= fn(fmt :: []char, nargs: int) bool {
+	if fmt[fmt.len-1] != '\0' {
+		return false;
+	}
+	count := 0;
+	for x, i := fmt {
+		if x == '%' {
+			if i == fmt.len-1 {
+				count += 1;
+			} elif fmt[i+1] != '%' {
+				count += 1;
+			} else {
+				count -= 1;
+			}
+		}
+	}
+	count == nargs
+};
+	
+
+tprintf ::= fn(fmt :: []char, args: ..) {
+	#if !tprintf_valid(fmt, args.len) {
+		#error "Invalid printf format";
+	}
+	f := fmt;
+	printf(&f[0], args);
+};
 
 main ::= fn() {
-	 p: Point3D;
-	 io.puti(#sizeof Point3D);
-	 // io.puti(#sizeof p);
-	 io.puti(#sizeof typeof p);
-	 io.puti(sizeof Point3D);
-	 // io.puti(sizeof p);
-	 io.puti(sizeof typeof p);
-	 
-	 io.puti(#alignof Point3D);
-	 // io.puti(#alignof p);
-	 io.puti(#alignof typeof p);
-	 io.puti(alignof Point3D);
-	 // io.puti(alignof p);
-	 io.puti(alignof typeof p);
-}
-main();
\ No newline at end of file
+	 tprintf("%d %d%%\n\0", 3, 4);
+	 tprintf("%d %d %d%%\n\0", 3, 4, 5);
+	 tprintf("Hello!\n\0");
+};