test iterators.

This commit is contained in:
Léonard Gérard 2011-06-27 11:07:40 +02:00
parent a519afe631
commit 9e881550a7

View file

@ -1,10 +1,16 @@
const n:int = 42
node plusone(a:int) returns (o:int)
let
o = a+1;
tel
fun f() returns (o:int^n)
let
o = mapi<<n>> plusone ();
tel
node g(a:int^n) returns (o:int^n)
let
o = map<<n>> plusone (a);