(fate_version 1)

(global string test_name)

(set! test_name ( FILTER ))

(global (list int) 0to10)
(global (list int) 0to10odd)
(global (list int) 0to10even)

(set! 0to10 (range 0 10 1))

(set! 0to10odd
   (filter
      (lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
      0to10
      2
      1
   )
)

(local (lambda bool (int)) filter_fun)

(set! filter_fun (lambda ((int i)) (= (mod i 2) 0)))
(set! 0to10even
   (filter filter_fun 0to10)
)

(assert!
   (= 0 (var 0to10even.0))
   [FAILED] (var test_name) Failed 0to10even.0: (var 0to10even.0).
)

(assert!
   (= 1 (var 0to10odd.0))
   [FAILED] (var test_name) Failed 0to10odd.0: (var 0to10odd.0).
)

(assert!
   (= 2 (var 0to10even.1))
   [FAILED] (var test_name) Failed 0to10even.1: (var 0to10even.1).
)

(assert!
   (= 3 (var 0to10odd.1))
   [FAILED] (var test_name) Failed 0to10odd.1: (var 0to10odd.1).
)

(assert!
   (= 4 (var 0to10even.2))
   [FAILED] (var test_name) Failed 0to10even.2: (var 0to10even.2).
)

(assert!
   (= 5 (var 0to10odd.2))
   [FAILED] (var test_name) Failed 0to10odd.2: (var 0to10odd.2).
)

(assert!
   (= 6 (var 0to10even.3))
   [FAILED] (var test_name) Failed 0to10even.3: (var 0to10even.3).
)

(assert!
   (= 7 (var 0to10odd.3))
   [FAILED] (var test_name) Failed 0to10odd.3: (var 0to10odd.3).
)

(assert!
   (= 8 (var 0to10even.4))
   [FAILED] (var test_name) Failed 0to10even.4: (var 0to10even.4).
)

(assert!
   (= 9 (var 0to10odd.4))
   [FAILED] (var test_name) Failed 0to10odd.4: (var 0to10odd.4).
)

(assert!
   (= 10 (var 0to10even.5))
   [FAILED] (var test_name) Failed 0to10even.5: (var 0to10even.5).
)

(global (list int) 0to10odd2)
(global (list int) 0to10even2)

(set! 0to10odd2 (var 0to10))
(set! 0to10even2 (var 0to10))

(filter!
   (lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
   0to10odd2
   2
   1
)

(filter! filter_fun 0to10even2)

(assert!
   (= 0 (var 0to10even2.0))
   [FAILED] (var test_name) Failed 0to10even2.0: (var 0to10even2.0).
)

(assert!
   (= 1 (var 0to10odd2.0))
   [FAILED] (var test_name) Failed 0to10odd2.0: (var 0to10odd2.0).
)

(assert!
   (= 2 (var 0to10even2.1))
   [FAILED] (var test_name) Failed 0to10even2.1: (var 0to10even2.1).
)

(assert!
   (= 3 (var 0to10odd2.1))
   [FAILED] (var test_name) Failed 0to10odd2.1: (var 0to10odd2.1).
)

(assert!
   (= 4 (var 0to10even2.2))
   [FAILED] (var test_name) Failed 0to10even2.2: (var 0to10even2.2).
)

(assert!
   (= 5 (var 0to10odd2.2))
   [FAILED] (var test_name) Failed 0to10odd2.2: (var 0to10odd2.2).
)

(assert!
   (= 6 (var 0to10even2.3))
   [FAILED] (var test_name) Failed 0to10even2.3: (var 0to10even2.3).
)

(assert!
   (= 7 (var 0to10odd2.3))
   [FAILED] (var test_name) Failed 0to10odd2.3: (var 0to10odd2.3).
)

(assert!
   (= 8 (var 0to10even2.4))
   [FAILED] (var test_name) Failed 0to10even2.4: (var 0to10even2.4).
)

(assert!
   (= 9 (var 0to10odd2.4))
   [FAILED] (var test_name) Failed 0to10odd2.4: (var 0to10odd2.4).
)

(assert!
   (= 10 (var 0to10even2.5))
   [FAILED] (var test_name) Failed 0to10even2.5: (var 0to10even2.5).
)

(set! 0to10odd
   (indexed_filter
      (lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
      0to10
      2
      1
   )
)

(local (lambda bool (int int)) indexed_filter_fun)

(set! indexed_filter_fun (lambda ((int ix) (int i)) (= (mod i 2) 0)))
(set! 0to10even (indexed_filter indexed_filter_fun 0to10))

(assert!
   (= 0 (var 0to10even.0))
   [FAILED] (var test_name) Failed indexed 0to10even.0: (var 0to10even.0).
)

(assert!
   (= 1 (var 0to10odd.0))
   [FAILED] (var test_name) Failed indexed 0to10odd.0: (var 0to10odd.0).
)

(assert!
   (= 2 (var 0to10even.1))
   [FAILED] (var test_name) Failed indexed 0to10even.1: (var 0to10even.1).
)

(assert!
   (= 3 (var 0to10odd.1))
   [FAILED] (var test_name) Failed indexed 0to10odd.1: (var 0to10odd.1).
)

(assert!
   (= 4 (var 0to10even.2))
   [FAILED] (var test_name) Failed indexed 0to10even.2: (var 0to10even.2).
)

(assert!
   (= 5 (var 0to10odd.2))
   [FAILED] (var test_name) Failed indexed 0to10odd.2: (var 0to10odd.2).
)

(assert!
   (= 6 (var 0to10even.3))
   [FAILED] (var test_name) Failed indexed 0to10even.3: (var 0to10even.3).
)

(assert!
   (= 7 (var 0to10odd.3))
   [FAILED] (var test_name) Failed indexed 0to10odd.3: (var 0to10odd.3).
)

(assert!
   (= 8 (var 0to10even.4))
   [FAILED] (var test_name) Failed indexed 0to10even.4: (var 0to10even.4).
)

(assert!
   (= 9 (var 0to10odd.4))
   [FAILED] (var test_name) Failed indexed 0to10odd.4: (var 0to10odd.4).
)

(assert!
   (= 10 (var 0to10even.5))
   [FAILED] (var test_name) Failed indexed 0to10even.5: (var 0to10even.5).
)

(set! 0to10odd2 (var 0to10))
(set! 0to10even2 (var 0to10))

(indexed_filter!
   (lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
   0to10odd2
   2
   1
)

(indexed_filter! indexed_filter_fun 0to10even2)

(assert!
   (= 0 (var 0to10even2.0))
   [FAILED] (var test_name) Failed indexed 0to10even2.0: (var 0to10even2.0).
)

(assert!
   (= 1 (var 0to10odd2.0))
   [FAILED] (var test_name) Failed indexed 0to10odd2.0: (var 0to10odd2.0).
)

(assert!
   (= 2 (var 0to10even2.1))
   [FAILED] (var test_name) Failed indexed 0to10even2.1: (var 0to10even2.1).
)

(assert!
   (= 3 (var 0to10odd2.1))
   [FAILED] (var test_name) Failed indexed 0to10odd2.1: (var 0to10odd2.1).
)

(assert!
   (= 4 (var 0to10even2.2))
   [FAILED] (var test_name) Failed indexed 0to10even2.2: (var 0to10even2.2).
)

(assert!
   (= 5 (var 0to10odd2.2))
   [FAILED] (var test_name) Failed indexed 0to10odd2.2: (var 0to10odd2.2).
)

(assert!
   (= 6 (var 0to10even2.3))
   [FAILED] (var test_name) Failed indexed 0to10even2.3: (var 0to10even2.3).
)

(assert!
   (= 7 (var 0to10odd2.3))
   [FAILED] (var test_name) Failed indexed 0to10odd2.3: (var 0to10odd2.3).
)

(assert!
   (= 8 (var 0to10even2.4))
   [FAILED] (var test_name) Failed indexed 0to10even2.4: (var 0to10even2.4).
)

(assert!
   (= 9 (var 0to10odd2.4))
   [FAILED] (var test_name) Failed indexed 0to10odd2.4: (var 0to10odd2.4).
)

(assert!
   (= 10 (var 0to10even2.5))
   [FAILED] (var test_name) Failed indexed 0to10even2.5: (var 0to10even2.5).
)

(global (list int) oli0)
(global (list int) oli1)

(set! oli0 (range -10 10 1))
(set! oli1 (var oli0))

(set! oli0
   (indexed_filter
      (lambda ((int ix) (int i))
         (exactly_one
            (> i 0)
            (= (mod ix 2) 1)
         )
      )
      oli0
   )
)

(indexed_filter!
   (lambda ((int ix) (int i) ((list int) o))
      (exactly_one
         (> i 0)
         (is_member (var ix) o)
      )
   )
   oli1
   (range 1 21 2)
)

(assert!
   (= -9 (var oli0.0) (var oli1.0))
   [FAILED] (var test_name) Failed indexed filter -9: (var oli0.0), (var oli1.0)
)

(assert!
   (= -7 (var oli0.1) (var oli1.1))
   [FAILED] (var test_name) Failed indexed filter -7: (var oli0.1), (var oli1.1)
)

(assert!
   (= -5 (var oli0.2) (var oli1.2))
   [FAILED] (var test_name) Failed indexed filter -5: (var oli0.2), (var oli1.2)
)

(assert!
   (= -3 (var oli0.3) (var oli1.3))
   [FAILED] (var test_name) Failed indexed filter -3: (var oli0.3), (var oli1.3)
)

(assert!
   (= -1 (var oli0.4) (var oli1.4))
   [FAILED] (var test_name) Failed indexed filter -1: (var oli0.4), (var oli1.4)
)

(assert!
   (= 2 (var oli0.5) (var oli1.5))
   [FAILED] (var test_name) Failed indexed filter 2: (var oli0.5), (var oli1.5)
)

(assert!
   (= 4 (var oli0.6) (var oli1.6))
   [FAILED] (var test_name) Failed indexed filter 4: (var oli0.6), (var oli1.6)
)

(assert!
   (= 6 (var oli0.7) (var oli1.7))
   [FAILED] (var test_name) Failed indexed filter 6: (var oli0.7), (var oli1.7)
)

(assert!
   (= 8 (var oli0.8) (var oli1.8))
   [FAILED] (var test_name) Failed indexed filter 8: (var oli0.8), (var oli1.8)
)

(assert!
   (= 10 (var oli0.9) (var oli1.9))
   [FAILED] (var test_name) Failed indexed filter 9: (var oli0.9), (var oli1.9)
)

[COMPLETED] (var test_name)

(end!)