1 files changed, 22 insertions, 0 deletions
diff --git a/test2.toc b/test2.toc
new file mode 100644
index 0000000..b32d203
--- /dev/null
+++ b/test2.toc
@@ -0,0 +1,22 @@
+puti ::= fn(x: int) {
+	 #C("printf(\"%ld\\n\", (long)x);
+");
+};
+putf ::= fn(x: float) {
+	 #C("printf(\"%f\\n\", (double)x);
+");
+};
+
+// f ::= fn(t ::= int, x : t) t {
+//   x + 1
+// };
+
+f ::= fn(x : t, t ::= float) t {
+  x+1
+};
+
+main ::= fn() {
+	 putf(f(3.321));
+	 puti(f(3, int));
+	 putf(f(3.3421, float));
+};
+\ No newline at end of file