blob: 3dcd90569d2b6544b68ab4216a4b4ada989ef510 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
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)
|
