egison-5.0.0: benchmark/collection-bench-star-colon.egi

def countEvens n l :=
  match l as list integer with
    | $tl *: ?isEven -> countEvens (n + 1) tl
    | $tl *: _ -> countEvens n tl
    | [] -> n

def testNumbers :=
  let from n := if n <= 0 then [0] else n :: from (n - 1)
   in from 10000

countEvens 0 testNumbers