diff options
Diffstat (limited to 'tests')
-rw-r--r-- | tests/016/arith.tl | 41 | ||||
-rw-r--r-- | tests/016/log.tl | 42 |
2 files changed, 41 insertions, 42 deletions
diff --git a/tests/016/arith.tl b/tests/016/arith.tl index 24521921..d740835b 100644 --- a/tests/016/arith.tl +++ b/tests/016/arith.tl @@ -331,3 +331,44 @@ (y (cdr x))) (* x y)) :error) + +(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 ()) nil + (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 ()) t + (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 ()) nil + (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) diff --git a/tests/016/log.tl b/tests/016/log.tl deleted file mode 100644 index 3dcd9056..00000000 --- a/tests/016/log.tl +++ /dev/null @@ -1,42 +0,0 @@ -(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) |