summaryrefslogtreecommitdiff
path: root/data/unit-testing/filter.fate
diff options
context:
space:
mode:
Diffstat (limited to 'data/unit-testing/filter.fate')
-rw-r--r--data/unit-testing/filter.fate140
1 files changed, 70 insertions, 70 deletions
diff --git a/data/unit-testing/filter.fate b/data/unit-testing/filter.fate
index 8d85ee3..7fc1ea8 100644
--- a/data/unit-testing/filter.fate
+++ b/data/unit-testing/filter.fate
@@ -2,15 +2,15 @@
(global string test_name)
-(set test_name ( FILTER ))
+(set! test_name ( FILTER ))
(global (list int) 0to10)
(global (list int) 0to10odd)
(global (list int) 0to10even)
-(set 0to10 (range 0 10 1))
+(set! 0to10 (range 0 10 1))
-(set 0to10odd
+(set! 0to10odd
(filter
(lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
0to10
@@ -21,62 +21,62 @@
(local (lambda bool (int)) filter_fun)
-(set filter_fun (lambda ((int i)) (= (mod i 2) 0)))
-(set 0to10even
+(set! filter_fun (lambda ((int i)) (= (mod i 2) 0)))
+(set! 0to10even
(filter filter_fun 0to10)
)
-(assert
+(assert!
(= 0 (var 0to10even.0))
[FAILED] (var test_name) Failed 0to10even.0: (var 0to10even.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd.0))
[FAILED] (var test_name) Failed 0to10odd.0: (var 0to10odd.0).
)
-(assert
+(assert!
(= 2 (var 0to10even.1))
[FAILED] (var test_name) Failed 0to10even.1: (var 0to10even.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd.1))
[FAILED] (var test_name) Failed 0to10odd.1: (var 0to10odd.1).
)
-(assert
+(assert!
(= 4 (var 0to10even.2))
[FAILED] (var test_name) Failed 0to10even.2: (var 0to10even.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd.2))
[FAILED] (var test_name) Failed 0to10odd.2: (var 0to10odd.2).
)
-(assert
+(assert!
(= 6 (var 0to10even.3))
[FAILED] (var test_name) Failed 0to10even.3: (var 0to10even.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd.3))
[FAILED] (var test_name) Failed 0to10odd.3: (var 0to10odd.3).
)
-(assert
+(assert!
(= 8 (var 0to10even.4))
[FAILED] (var test_name) Failed 0to10even.4: (var 0to10even.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd.4))
[FAILED] (var test_name) Failed 0to10odd.4: (var 0to10odd.4).
)
-(assert
+(assert!
(= 10 (var 0to10even.5))
[FAILED] (var test_name) Failed 0to10even.5: (var 0to10even.5).
)
@@ -84,8 +84,8 @@
(global (list int) 0to10odd2)
(global (list int) 0to10even2)
-(set 0to10odd2 (var 0to10))
-(set 0to10even2 (var 0to10))
+(set! 0to10odd2 (var 0to10))
+(set! 0to10even2 (var 0to10))
(filter!
(lambda ((int i) (int two) (int one)) (= (mod i two) (var one)))
@@ -96,62 +96,62 @@
(filter! filter_fun 0to10even2)
-(assert
+(assert!
(= 0 (var 0to10even2.0))
[FAILED] (var test_name) Failed 0to10even2.0: (var 0to10even2.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd2.0))
[FAILED] (var test_name) Failed 0to10odd2.0: (var 0to10odd2.0).
)
-(assert
+(assert!
(= 2 (var 0to10even2.1))
[FAILED] (var test_name) Failed 0to10even2.1: (var 0to10even2.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd2.1))
[FAILED] (var test_name) Failed 0to10odd2.1: (var 0to10odd2.1).
)
-(assert
+(assert!
(= 4 (var 0to10even2.2))
[FAILED] (var test_name) Failed 0to10even2.2: (var 0to10even2.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd2.2))
[FAILED] (var test_name) Failed 0to10odd2.2: (var 0to10odd2.2).
)
-(assert
+(assert!
(= 6 (var 0to10even2.3))
[FAILED] (var test_name) Failed 0to10even2.3: (var 0to10even2.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd2.3))
[FAILED] (var test_name) Failed 0to10odd2.3: (var 0to10odd2.3).
)
-(assert
+(assert!
(= 8 (var 0to10even2.4))
[FAILED] (var test_name) Failed 0to10even2.4: (var 0to10even2.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd2.4))
[FAILED] (var test_name) Failed 0to10odd2.4: (var 0to10odd2.4).
)
-(assert
+(assert!
(= 10 (var 0to10even2.5))
[FAILED] (var test_name) Failed 0to10even2.5: (var 0to10even2.5).
)
-(set 0to10odd
+(set! 0to10odd
(indexed_filter
(lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
0to10
@@ -162,66 +162,66 @@
(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))
+(set! indexed_filter_fun (lambda ((int ix) (int i)) (= (mod i 2) 0)))
+(set! 0to10even (indexed_filter indexed_filter_fun 0to10))
-(assert
+(assert!
(= 0 (var 0to10even.0))
[FAILED] (var test_name) Failed indexed 0to10even.0: (var 0to10even.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd.0))
[FAILED] (var test_name) Failed indexed 0to10odd.0: (var 0to10odd.0).
)
-(assert
+(assert!
(= 2 (var 0to10even.1))
[FAILED] (var test_name) Failed indexed 0to10even.1: (var 0to10even.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd.1))
[FAILED] (var test_name) Failed indexed 0to10odd.1: (var 0to10odd.1).
)
-(assert
+(assert!
(= 4 (var 0to10even.2))
[FAILED] (var test_name) Failed indexed 0to10even.2: (var 0to10even.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd.2))
[FAILED] (var test_name) Failed indexed 0to10odd.2: (var 0to10odd.2).
)
-(assert
+(assert!
(= 6 (var 0to10even.3))
[FAILED] (var test_name) Failed indexed 0to10even.3: (var 0to10even.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd.3))
[FAILED] (var test_name) Failed indexed 0to10odd.3: (var 0to10odd.3).
)
-(assert
+(assert!
(= 8 (var 0to10even.4))
[FAILED] (var test_name) Failed indexed 0to10even.4: (var 0to10even.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd.4))
[FAILED] (var test_name) Failed indexed 0to10odd.4: (var 0to10odd.4).
)
-(assert
+(assert!
(= 10 (var 0to10even.5))
[FAILED] (var test_name) Failed indexed 0to10even.5: (var 0to10even.5).
)
-(set 0to10odd2 (var 0to10))
-(set 0to10even2 (var 0to10))
+(set! 0to10odd2 (var 0to10))
+(set! 0to10even2 (var 0to10))
(indexed_filter!
(lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one)))
@@ -232,57 +232,57 @@
(indexed_filter! indexed_filter_fun 0to10even2)
-(assert
+(assert!
(= 0 (var 0to10even2.0))
[FAILED] (var test_name) Failed indexed 0to10even2.0: (var 0to10even2.0).
)
-(assert
+(assert!
(= 1 (var 0to10odd2.0))
[FAILED] (var test_name) Failed indexed 0to10odd2.0: (var 0to10odd2.0).
)
-(assert
+(assert!
(= 2 (var 0to10even2.1))
[FAILED] (var test_name) Failed indexed 0to10even2.1: (var 0to10even2.1).
)
-(assert
+(assert!
(= 3 (var 0to10odd2.1))
[FAILED] (var test_name) Failed indexed 0to10odd2.1: (var 0to10odd2.1).
)
-(assert
+(assert!
(= 4 (var 0to10even2.2))
[FAILED] (var test_name) Failed indexed 0to10even2.2: (var 0to10even2.2).
)
-(assert
+(assert!
(= 5 (var 0to10odd2.2))
[FAILED] (var test_name) Failed indexed 0to10odd2.2: (var 0to10odd2.2).
)
-(assert
+(assert!
(= 6 (var 0to10even2.3))
[FAILED] (var test_name) Failed indexed 0to10even2.3: (var 0to10even2.3).
)
-(assert
+(assert!
(= 7 (var 0to10odd2.3))
[FAILED] (var test_name) Failed indexed 0to10odd2.3: (var 0to10odd2.3).
)
-(assert
+(assert!
(= 8 (var 0to10even2.4))
[FAILED] (var test_name) Failed indexed 0to10even2.4: (var 0to10even2.4).
)
-(assert
+(assert!
(= 9 (var 0to10odd2.4))
[FAILED] (var test_name) Failed indexed 0to10odd2.4: (var 0to10odd2.4).
)
-(assert
+(assert!
(= 10 (var 0to10even2.5))
[FAILED] (var test_name) Failed indexed 0to10even2.5: (var 0to10even2.5).
)
@@ -290,10 +290,10 @@
(global (list int) oli0)
(global (list int) oli1)
-(set oli0 (range -10 10 1))
-(set oli1 (var oli0))
+(set! oli0 (range -10 10 1))
+(set! oli1 (var oli0))
-(set oli0
+(set! oli0
(indexed_filter
(lambda ((int ix) (int i))
(exactly_one
@@ -316,56 +316,56 @@
(range 1 21 2)
)
-(assert
+(assert!
(= -9 (var oli0.0) (var oli1.0))
[FAILED] (var test_name) Failed indexed filter -9: (var oli0.0), (var oli1.0)
)
-(assert
+(assert!
(= -7 (var oli0.1) (var oli1.1))
[FAILED] (var test_name) Failed indexed filter -7: (var oli0.1), (var oli1.1)
)
-(assert
+(assert!
(= -5 (var oli0.2) (var oli1.2))
[FAILED] (var test_name) Failed indexed filter -5: (var oli0.2), (var oli1.2)
)
-(assert
+(assert!
(= -3 (var oli0.3) (var oli1.3))
[FAILED] (var test_name) Failed indexed filter -3: (var oli0.3), (var oli1.3)
)
-(assert
+(assert!
(= -1 (var oli0.4) (var oli1.4))
[FAILED] (var test_name) Failed indexed filter -1: (var oli0.4), (var oli1.4)
)
-(assert
+(assert!
(= 2 (var oli0.5) (var oli1.5))
[FAILED] (var test_name) Failed indexed filter 2: (var oli0.5), (var oli1.5)
)
-(assert
+(assert!
(= 4 (var oli0.6) (var oli1.6))
[FAILED] (var test_name) Failed indexed filter 4: (var oli0.6), (var oli1.6)
)
-(assert
+(assert!
(= 6 (var oli0.7) (var oli1.7))
[FAILED] (var test_name) Failed indexed filter 6: (var oli0.7), (var oli1.7)
)
-(assert
+(assert!
(= 8 (var oli0.8) (var oli1.8))
[FAILED] (var test_name) Failed indexed filter 8: (var oli0.8), (var oli1.8)
)
-(assert
+(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)
+(end!)