diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/016/arith.tl | 20 | ||||
| -rw-r--r-- | tests/016/log.tl | 42 |
2 files changed, 62 insertions, 0 deletions
diff --git a/tests/016/arith.tl b/tests/016/arith.tl index ad919e6b..24521921 100644 --- a/tests/016/arith.tl +++ b/tests/016/arith.tl @@ -255,10 +255,18 @@ 1.5 2.25 2.625 2.8125 2.90625)) (mtest + (sum-each ()) + 0 + (sum-each ((x nil))) + 0 (sum-each ((x '(1 2 3)) (y '(4 5 6))) (* x y)) 32 + (mul-each ()) + 1 + (mul-each ((x nil))) + 1 (mul-each ((x '(1 2 3)) (y '(4 5 6))) (+ x y)) @@ -281,6 +289,12 @@ :error) (mtest + (sum-each-prod ()) + 0 + (sum-each-prod ((x nil))) + 0 + (sum-each-prod ((x '(4))) x) + 4 (sum-each-prod ((x '(1 2 3)) (y '(4 3 2))) (* x y)) @@ -295,6 +309,12 @@ :error) (mvtest + (mul-each-prod ()) + 1 + (mul-each-prod ((x nil))) + 1 + (mul-each-prod ((x '(4))) x) + 4 (mul-each-prod ((x '(1 2 3)) (y '(4 3 2))) (+ x y)) diff --git a/tests/016/log.tl b/tests/016/log.tl new file mode 100644 index 00000000..3dcd9056 --- /dev/null +++ b/tests/016/log.tl @@ -0,0 +1,42 @@ +(load "../common.tl") + +(mtest + (each-true ()) t + (each-true ((a ()))) t + (each-true ((a ())) nil) t + (each-true ((a '(1 2 3))) a) 3 + (each-true ((a '(nil 2 3))) a) nil + (each-true ((a '(1 2 3)) (b '(4 5 6))) (< a b)) t + (each-true ((a '(1 2 3)) (b '(4 0 6))) (< a b)) nil) + +(mtest + (some-true ()) :error + (some-true ((a ()))) nil + (some-true ((a ())) nil) nil + (some-true ((a '(1 2 3))) a) 1 + (some-true ((a '(nil 2 3))) a) 2 + (some-true ((a '(nil nil nil))) a) nil + (some-true ((a '(1 2 3)) (b '(4 5 6))) (< a b)) t + (some-true ((a '(1 2 3)) (b '(4 0 6))) (< a b)) t + (some-true ((a '(1 2 3)) (b '(0 1 2))) (< a b)) nil) + +(mtest + (each-false ()) :error + (each-false ((a ()))) t + (each-false ((a ())) t) t + (each-false ((a '(1 2 3))) a) nil + (each-false ((a '(nil))) a) t + (each-false ((a '(nil nil))) a) t + (each-false ((a '(1 2 3)) (b '(4 5 6))) (> a b)) t + (each-false ((a '(1 2 3)) (b '(4 0 6))) (> a b)) nil) + +(mtest + (some-false ()) :error + (some-false ((a ()))) nil + (some-false ((a ())) nil) nil + (some-false ((a '(1 2 3))) a) nil + (some-false ((a '(nil 2 3))) a) t + (some-false ((a '(nil nil nil))) a) t + (some-false ((a '(1 2 3)) (b '(4 5 6))) (> a b)) t + (some-false ((a '(1 2 3)) (b '(4 0 6))) (> a b)) t + (some-false ((a '(1 2 3)) (b '(0 1 2))) (> a b)) nil) |