1 files changed, 6 insertions, 5 deletions

diff --git a/test.toc b/test.toc
index fcd6119..ff5f1d3 100644
--- a/test.toc
+++ b/test.toc
@@ -9,11 +9,12 @@ Thing ::= struct(t::=int, u::t=3) {
    that : [u]t;
 };
 
+f ::= fn(t::=,u::=,th : Thing(t,u)) {
+  x: t = 17 as t;
+  th.it = x;
+};
+
 main ::= fn() {
 	 a: Thing(u = 172, t = u8);
-	 b: Thing();
-	 c : Thing(i16);
-	 d: Thing(u8, 428);
-	 e: Thing(t = int, u = 3);
-	 f: Thing(i16, 3);
+	 f(a);
 };
\ No newline at end of file