From 9e881550a7b4c92d3ed4ae8f0672c1adec5e0fe4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Mon, 27 Jun 2011 11:07:40 +0200
Subject: [PATCH] test iterators.

---
 test/good/array_iterators.ept | 6 ++++++
 1 file changed, 6 insertions(+)

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<<n>> plusone ();
+tel
+
 node g(a:int^n) returns (o:int^n)
 let
   o = map<<n>> plusone (a);