From 59f89ea233df72faf45147680c1816c48b52e8b9 Mon Sep 17 00:00:00 2001 From: Leo Tenenbaum Date: Sat, 7 Dec 2019 15:35:31 -0500 Subject: oops deleting files --- .#test.toc | 1 - test2.toc | 28 ---------------------------- 2 files changed, 29 deletions(-) delete mode 120000 .#test.toc delete mode 100644 test2.toc diff --git a/.#test.toc b/.#test.toc deleted file mode 120000 index ec821e5..0000000 --- a/.#test.toc +++ /dev/null @@ -1 +0,0 @@ -leo@pommicket.6455:1575719908 \ No newline at end of file diff --git a/test2.toc b/test2.toc deleted file mode 100644 index 864d7a9..0000000 --- a/test2.toc +++ /dev/null @@ -1,28 +0,0 @@ -puti ::= fn(x: int) { - #C("printf(\"%ld\\n\", (long)x); -"); -}; -putf ::= fn(x: float) { - #C("printf(\"%f\\n\", (double)x); -"); -}; - -foo ::= fn(x ::= 5) (int, int) { -x, 2*x -}; - -main ::= fn() { - puti(f(3)); - puti(f(7)); - puti(f(4)); - - f ::= fn(x ::= foo()) y := x + 1 { }; - - r ::= f(3); - puti(r); - s ::= f(7); - puti(s); - t ::= f(4); - puti(t); - -}; \ No newline at end of file -- cgit v1.2.3