diff --git a/test/good/array_iterators.ept b/test/good/array_iterators.ept index 802a793..05dbd03 100644 --- a/test/good/array_iterators.ept +++ b/test/good/array_iterators.ept @@ -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<> plusone (); +tel + node g(a:int^n) returns (o:int^n) let o = map<> plusone (a);