fixed problem with infer

1 files changed, 11 insertions, 1 deletions

diff --git a/test.toc b/test.toc
index 24b24b4..e6ff4bd 100644
--- a/test.toc
+++ b/test.toc
@@ -1,3 +1,10 @@
+puti ::= fn(x: int) {
+	 #C("printf(\"%ld\\n\", x)");
+};
+putf ::= fn(x: float) {
+	 #C("printf(\"%f\\n\", x)");
+};
+
 f ::= fn(t::=, x :t) t {
   	  x + 1
 };
@@ -5,5 +12,8 @@ f ::= fn(t::=, x :t) t {
 // test: fn(t::=int,u::=t,x:u)u
 
 main ::= fn() {
-	 f(13);
+	 puti(f(13));
+	 puti(f(14));
+	 puti(f(15));
+	 putf(f(3.1));
 };
\ No newline at end of file