discovered a bug with flexible types while cleaning up args

1 files changed, 0 insertions, 22 deletions

diff --git a/test2.toc b/test2.toc
deleted file mode 100644
index b32d203..0000000
--- a/test2.toc
+++ /dev/null
@@ -1,22 +0,0 @@
-puti ::= fn(x: int) {
-	 #C("printf(\"%ld\\n\", (long)x);
-");
-};
-putf ::= fn(x: float) {
-	 #C("printf(\"%f\\n\", (double)x);
-");
-};
-
-// f ::= fn(t ::= int, x : t) t {
-//   x + 1
-// };
-
-f ::= fn(x : t, t ::= float) t {
-  x+1
-};
-
-main ::= fn() {
-	 putf(f(3.321));
-	 puti(f(3, int));
-	 putf(f(3.3421, float));
-};
\ No newline at end of file