1 files changed, 4 insertions, 3 deletions

diff --git a/test.toc b/test.toc
index c13c093..24c5701 100644
--- a/test.toc
+++ b/test.toc
@@ -7,11 +7,12 @@ putf ::= fn(x: float) {
 
 t ::= fn(a:: Type) Type {a};
 
-f ::= fn(b::=, a:t(b)) int{
-3
+f ::= fn(b::=, u::=, a:t(b), x:t(u)) int{
+((3 as b) as u) as int
 };
 
 main ::= fn() {
 	 x : t(int) = 3;
-	 f(x);
+	 y : t(float) = 3.4;
+	 f(x,y);
 };
\ No newline at end of file