diff options
Diffstat (limited to 'test2.toc')
-rw-r--r-- | test2.toc | 22 |
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 |