diff options
Diffstat (limited to 'test.toc')
-rw-r--r-- | test.toc | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -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 |