1 files changed, 4 insertions, 5 deletions

diff --git a/test.toc b/test.toc
index 8cb0741..74980c0 100644
--- a/test.toc
+++ b/test.toc
@@ -1,8 +1,7 @@
-P ::= struct {
-  x, y:int;
+f ::= fn(t::=, x :t) t {
+  	  x + 1
 };
+
 main ::= fn() {
-	 p:P;
-	 x::="y";
-	 p[x];
+	 f(13);
 };
\ No newline at end of file