| summaryrefslogtreecommitdiff | 
diff options
Diffstat (limited to 'data/unit-testing/merge.fate')
| -rw-r--r-- | data/unit-testing/merge.fate | 168 | 
1 files changed, 168 insertions, 0 deletions
| diff --git a/data/unit-testing/merge.fate b/data/unit-testing/merge.fate new file mode 100644 index 0000000..0bf7bca --- /dev/null +++ b/data/unit-testing/merge.fate @@ -0,0 +1,168 @@ +(fate_version 1) + +(global string test_name) + +(set test_name ( MERGE )) + +(global (list int) li0) +(global (list int) li1) +(global (list int) li2) +(global (list int) li3) + +(global (set int) si0) +(global (set int) si1) +(global (set int) si2) +(global (set int) si3) + +(set li0 +   (merge_to_list +      (lambda +         ( +            (int a) +            (int b) +         ) +         (- a b) +      ) +      (range 10 40 1) +      (range 0 60 2) +   ) +) + +(set li1 (range 10 40 1)) + +(merge! +   (lambda +      ( +         (int a) +         (int b) +      ) +      (- a b) +   ) +   li1 +   (range 0 60 2) +) + +(set li2 +   (map +      (lambda ((int i) (int mod)) (* i mod)) +      (range 0 10 1) +      2 +   ) +) + +(set li3 (range 0 10 1)) + +(map! +   (lambda ((int i) (int mod)) (* i mod)) +   li3 +   2 +) + +(assert +   (= (var li1) (var li0) (var li2) (var li3)) +   [FAILED] (var test_name) Equality test 0. +) + +(assert +   (= 0 (var li1.0) (var li0.0)) +   [FAILED] (var test_name) Test for 0: (var li1.0), (var li0.0). +) + +(assert +   (= 2 (var li1.1) (var li0.1)) +   [FAILED] (var test_name) Test for 2: (var li1.1), (var li0.1). +) + +(assert +   (= 4 (var li1.2) (var li0.2)) +   [FAILED] (var test_name) Test for 4: (var li1.2), (var li0.2). +) +(assert +   (= 6 (var li1.3) (var li0.3)) +   [FAILED] (var test_name) Test for 6: (var li1.3), (var li0.3). +) +(assert +   (= 8 (var li1.4) (var li0.4)) +   [FAILED] (var test_name) Test for 8: (var li1.4), (var li0.4). +) +(assert +   (= 10 (var li1.5) (var li0.5)) +   [FAILED] (var test_name) Test for 10: (var li1.5), (var li0.5). +) +(assert +   (= 12 (var li1.6) (var li0.6)) +   [FAILED] (var test_name) Test for 12: (var li1.6), (var li0.6). +) +(assert +   (= 14 (var li1.7) (var li0.7)) +   [FAILED] (var test_name) Test for 14: (var li1.7), (var li0.7). +) +(assert +   (= 16 (var li1.8) (var li0.8)) +   [FAILED] (var test_name) Test for 16: (var li1.8), (var li0.8). +) +(assert +   (= 18 (var li1.9) (var li0.9)) +   [FAILED] (var test_name) Test for 18: (var li1.9), (var li0.9). +) +(assert +   (= 20 (var li1.10) (var li0.10)) +   [FAILED] (var test_name) Test for 20: (var li1.10), (var li0.10). +) + +(clear li0) +(clear li1) +(clear li2) +(clear li3) + +(set li0 +   (indexed_map +      (lambda ((int ix) (int i)) (+ (* i ix) 1000)) +      (range 10 20 1) +   ) +) + +(set li1 (range 10 20 1)) + +(indexed_map! +   (lambda ((int ix) (int i)) (+ (* i ix) 1000)) +   li1 +) + +(set li2 +   (indexed_map +      (lambda ((int ix) (int i) (int mod)) (+ (* i ix) mod)) +      (range 10 20 1) +      1000 +   ) +) + +(set li3 (range 10 20 1)) + +(indexed_map! +   (lambda ((int ix) (int i) (int mod)) (+ (* i ix) mod)) +   li3 +   1000 +) + +(assert +   (= (var li1) (var li0) (var li2) (var li3)) +   [FAILED] (var test_name) Equality test 1. +) + +(global int i) + +(for (set i 0) (=< i 10) (set i (+ i 1)) +   (assert +      (= +         (access li1 i) (access li0 i) (access li2 i) (access li3 i) +         (+ (* i (+ 10 i)) 1000) +      ) +      [FAILED] (var test_name) Indexed map at (var i): +      (access li1 i), (access li0 i), (access li2 i), (access li3 i) +   ) +) + +[COMPLETED] (var test_name) + +(end) | 


