| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/unit-testing/cons_car_cdr.fate')
| -rw-r--r-- | data/unit-testing/cons_car_cdr.fate | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/data/unit-testing/cons_car_cdr.fate b/data/unit-testing/cons_car_cdr.fate new file mode 100644 index 0000000..7187f6a --- /dev/null +++ b/data/unit-testing/cons_car_cdr.fate @@ -0,0 +1,51 @@ +(fate_version 1) + +(global string test_name) + +(set test_name ( CONS CAR CDR )) + +(assert (= (car (cons 1 (cons 2 (cons 3 (cons 4 5))))) 1) + [FAILED] (var test_name) test 1: (car (cons 1 (cons 2 (cons 3 (cons 4 5))))). +) + +(assert (= (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))) 2) + [FAILED] (var test_name) test 2: + (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))). +) + +(assert (= (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))) 3) + [FAILED] (var test_name) test 3: + (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))). +) + +(assert (= (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 4) + [FAILED] (var test_name) test 4: + (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))). +) + +(assert (= (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 5) + [FAILED] (var test_name) test 5: + (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))). +) + +(assert (= (car (cons test 0)) test) + [FAILED] (var test_name) test string: + (car (cons test 0)) +) + +(global (cons float string) cfs) +(global (cons float string) cfs2) + +(set cfs (cons 3.14 pi)) + +(assert (= (car cfs) 3.14) [FAILED] (var test_name) test 3.14: (car cfs).) +(assert (= (cdr cfs) pi) [FAILED] (var test_name) test pi: (cdr cfs).) + + +(set cfs2 (cons (car cfs) (cdr cfs))) + +(assert (= (var cfs2) (var cfs)) [FAILED] (var test_name) equality.) + +[COMPLETED] (var test_name) + +(end) |


