More unit testing...

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)