summaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/016/arith.tl41
-rw-r--r--tests/016/log.tl42
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)