diff options
Diffstat (limited to 'test.toc')
-rw-r--r-- | test.toc | 63 |
1 files changed, 54 insertions, 9 deletions
@@ -1,18 +1,63 @@ puti ::= fn(x: int) { - #C("printf(\"%ld\\n\", x)"); + #C("printf(\"%ld\\n\", (long)x); +"); }; putf ::= fn(x: float) { - #C("printf(\"%f\\n\", x)"); + #C("printf(\"%f\\n\", (double)x); +"); +}; + +// it would be nice if Arr.data.len == Arr.len (: but this will require some C code... +Arr ::= fn (t :: Type) Type { + struct { + data : []t; + len, cap : int; + } +}; + +arr_add ::= fn(t ::=, a : &Arr(t), x : t) { + if a.len >= a.cap { + a.cap = a.cap * 2 + 2; + new_data := new(t, a.cap); + each i := 0..a.len-1 { + new_data[i] = a.data[i]; + } + a.data = new_data; + } + a.data[a.len] = x; + a.len += 1; +}; + +square ::= fn(t ::=, x : t) t { + a : Arr(t); + each i := 1,2..2*x-1 { + arr_add(t, &a, i); + }; + sum := 0 as t; + each i := 0..a.len-1 { + sum += a.data[i]; + }; + sum }; -t ::= fn(a:: Type) Type {a}; -f ::= fn(b::=, u::=, a:t(b), x:t(u)) int{ -((3 as b) as u) as int +// ArrInt ::= Arr(int); + +inc ::= fn(t ::=, x : t) t { + x + 1 }; main ::= fn() { - x : t(int) = 3; - y : t(float) = 3.4; - puti(f(x,y)); -};
\ No newline at end of file + arr : Arr(int); + farr : Arr(float); + each i := 1..100 { + arr_add(&arr, inc(square(i))); + arr_add(&farr, inc(square(i as float))); + } + each i := 0..arr.len - 1 { + puti(arr.data[i]); + } + each i := 0..farr.len - 1 { + putf(farr.data[i]); + } +}; |