summaryrefslogtreecommitdiff
path: root/data/unit-testing
diff options
context:
space:
mode:
Diffstat (limited to 'data/unit-testing')
-rw-r--r--data/unit-testing/field_access.fate10
-rw-r--r--data/unit-testing/filter.fate292
-rw-r--r--data/unit-testing/fold.fate64
3 files changed, 366 insertions, 0 deletions
diff --git a/data/unit-testing/field_access.fate b/data/unit-testing/field_access.fate
index eba657a..4f977f8 100644
--- a/data/unit-testing/field_access.fate
+++ b/data/unit-testing/field_access.fate
@@ -85,6 +85,16 @@
ts0_1.i = (var ts0_1.i)
)
+(assert
+ (=
+ (field ts0_1 i)
+ (get_field (set_fields ts1_0 (i 420)) i)
+ (get_field (field (field ts2_0 ts1) ts0) i)
+ 420
+ )
+ [FAILED] (var test_name) Test 2.
+)
+
[COMPLETED] (var test_name)
(end)
diff --git a/data/unit-testing/filter.fate b/data/unit-testing/filter.fate
new file mode 100644
index 0000000..d71b057
--- /dev/null
+++ b/data/unit-testing/filter.fate
@@ -0,0 +1,292 @@
+(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).
+)
+
+[COMPLETED] (var test_name)
+
+(end)
diff --git a/data/unit-testing/fold.fate b/data/unit-testing/fold.fate
new file mode 100644
index 0000000..526cbe4
--- /dev/null
+++ b/data/unit-testing/fold.fate
@@ -0,0 +1,64 @@
+(fate_version 1)
+
+(global string test_name)
+
+(set test_name ( FILTER ))
+
+(global (list int) 0to10)
+
+(set 0to10 (range 0 10 1))
+
+(assert
+ (= 55
+ (foldl
+ (lambda ((int res) (int e)) (+ res e))
+ 0
+ 0to10
+ )
+ (foldr
+ (lambda ((int res) (int e)) (+ res e))
+ 0
+ 0to10
+ )
+ )
+ [FAILED] (var test_name) Failed sum.
+ (newline)
+ foldl yielded:
+ (foldl
+ (lambda ((int res) (int e)) (+ res e))
+ 0
+ 0to10
+ )
+ (newline)
+ foldr yielded:
+ (foldr
+ (lambda ((int res) (int e)) (+ res e))
+ 0
+ 0to10
+ )
+)
+
+(global (list string) ls)
+
+(local int i)
+(for (set i 0) (=< i 10) (set i (+ i 1))
+ (add! (cast string (var i)) ls)
+)
+
+foldl:
+(foldl
+ (lambda ((text res) (string e)) (text (var res) (var e)))
+ (default text)
+ ls
+)
+(newline)
+foldr:
+(foldr
+ (lambda ((text res) (string e)) (text (var res) (var e)))
+ (default text)
+ ls
+)
+
+[COMPLETED] (var test_name)
+
+(end)