1 files changed, 8 insertions, 3 deletions

diff --git a/test.toc b/test.toc
index c53a160..9b414ad 100644
--- a/test.toc
+++ b/test.toc
@@ -6,7 +6,12 @@ putf ::= fn(x: float) {
 	 #C("printf(\"%f\\n\", (double)x);
 ");
 };
+
 main ::= fn() {
-	 x : : = 3;
-	 puti(x);
-};
\ No newline at end of file
+	 Integer ::= id(int);
+	 x : Integer;
+	 puti(foo(x));
+};
+id ::= fn(t ::=, x :: t) t { x };
+
+foo ::= fn(t ::=, x : id(t)) int { 3 as t };