From 3db3e1a84fcded750ccf45732c6527e1581bc36e Mon Sep 17 00:00:00 2001
From: Leo Tenenbaum <pommicket@gmail.com>
Date: Sun, 8 Dec 2019 14:17:20 -0500
Subject: discovered a bug with flexible types while cleaning up args

---
 test2.toc | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 test2.toc

(limited to 'test2.toc')

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
-- 
cgit v1.2.3