heptagon/test/good/foldi.ept

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<<n>> f (a, true);
tel
Added test for foldi 2010-07-26 09:34:29 +02:00			`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`
fixed tests to the new iterator syntax. Changed (( and )) to (< and >) since it's very common to write )) ! 2011-03-21 20:45:48 +01:00			`o = foldi<<n>> f (a, true);`
Added test for foldi 2010-07-26 09:34:29 +02:00			`tel`