From 6c8a83f8c4bd72744e19d6b6362cc2c4e013dc1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Mon, 26 Jul 2010 09:34:29 +0200
Subject: [PATCH] Added test for foldi

---
 test/good/foldi.ept | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/good/foldi.ept

diff --git a/test/good/foldi.ept b/test/good/foldi.ept
new file mode 100644
index 0000000..df95577
--- /dev/null
+++ b/test/good/foldi.ept
@@ -0,0 +1,11 @@
+const n:int=42
+
+fun f(a:bool; i:int; acc_in : bool) returns (acc_out : bool)
+let
+  acc_out = if i = 0 then false else (a & acc_in);
+tel
+
+fun g(a: bool^n) returns (o:bool)
+let
+  o = foldi f <<n>>(a, true);
+tel