6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
(deftest every.1 |
(deftest every.1 |
9 |
(not (every #'identity nil)) |
(notnot-mv (every #'identity nil)) |
10 |
nil) |
t) |
11 |
|
|
12 |
(deftest every.2 |
(deftest every.2 |
13 |
(not (every #'identity #())) |
(notnot-mv (every #'identity #())) |
14 |
nil) |
t) |
15 |
|
|
16 |
(deftest every.3 |
(deftest every.3 |
17 |
(let ((count 0)) |
(let ((count 0)) |
22 |
nil 4) |
nil 4) |
23 |
|
|
24 |
(deftest every.4 |
(deftest every.4 |
25 |
(not (every #'= '(1 2 3 4) '(1 2 3 4 5))) |
(notnot-mv (every #'= '(1 2 3 4) '(1 2 3 4 5))) |
26 |
nil) |
t) |
27 |
|
|
28 |
(deftest every.5 |
(deftest every.5 |
29 |
(not (every #'= '(1 2 3 4 5) '(1 2 3 4))) |
(notnot-mv (every #'= '(1 2 3 4 5) '(1 2 3 4))) |
30 |
nil) |
t) |
31 |
|
|
32 |
(deftest every.6 |
(deftest every.6 |
33 |
(every #'= '(1 2 3 4 5) '(1 2 3 4 6)) |
(every #'= '(1 2 3 4 5) '(1 2 3 4 6)) |
34 |
nil) |
nil) |
35 |
|
|
36 |
(deftest every.7 |
(deftest every.7 |
37 |
(not (every #'(lambda (x y) (or x y)) |
(notnot-mv (every #'(lambda (x y) (or x y)) |
38 |
'(nil t t nil t) #(t nil t t nil nil))) |
'(nil t t nil t) #(t nil t t nil nil))) |
39 |
nil) |
t) |
40 |
|
|
41 |
(deftest every.8 |
(deftest every.8 |
42 |
(let ((x '(1)) |
(let ((x '(1)) |
43 |
(args nil)) |
(args nil)) |
44 |
(not |
(loop for i from 1 below (1- (min 100 call-arguments-limit)) |
45 |
(loop for i from 1 below (1- (min 100 call-arguments-limit)) |
do (push x args) |
46 |
do (push x args) |
always (apply #'every #'= args))) |
47 |
always (apply #'every #'= args)))) |
t) |
|
nil) |
|
48 |
|
|
49 |
(deftest every.9 |
(deftest every.9 |
50 |
(not (every #'zerop #*000000000000)) |
(notnot-mv (every #'zerop #*000000000000)) |
51 |
nil) |
t) |
52 |
|
|
53 |
(deftest every.10 |
(deftest every.10 |
54 |
(not (every #'zerop #*)) |
(notnot-mv (every #'zerop #*)) |
55 |
nil) |
t) |
56 |
|
|
57 |
(deftest every.11 |
(deftest every.11 |
58 |
(every #'zerop #*0000010000) |
(every #'zerop #*0000010000) |
59 |
nil) |
nil) |
60 |
|
|
61 |
(deftest every.12 |
(deftest every.12 |
62 |
(not (every #'(lambda (x) (eql x #\a)) "aaaaaaaa")) |
(notnot-mv (every #'(lambda (x) (eql x #\a)) "aaaaaaaa")) |
63 |
nil) |
t) |
64 |
|
|
65 |
(deftest every.13 |
(deftest every.13 |
66 |
(not (every #'(lambda (x) (eql x #\a)) "")) |
(notnot-mv (every #'(lambda (x) (eql x #\a)) "")) |
67 |
nil) |
t) |
68 |
|
|
69 |
(deftest every.14 |
(deftest every.14 |
70 |
(every #'(lambda (x) (eql x #\a)) "aaaaaabaaaa") |
(every #'(lambda (x) (eql x #\a)) "aaaaaabaaaa") |
75 |
nil) |
nil) |
76 |
|
|
77 |
(deftest every.16 |
(deftest every.16 |
78 |
(not (every 'null '(nil nil nil nil))) |
(notnot-mv (every 'null '(nil nil nil nil))) |
79 |
nil) |
t) |
80 |
|
|
81 |
;;; Error cases |
;;; Error cases |
82 |
|
|
107 |
(deftest every.error.7 |
(deftest every.error.7 |
108 |
(classify-error (every #'eq () 'a)) |
(classify-error (every #'eq () 'a)) |
109 |
type-error) |
type-error) |
110 |
|
` |
111 |
(deftest every.error.8 |
(deftest every.error.8 |
112 |
(classify-error (every)) |
(classify-error (every)) |
113 |
program-error) |
program-error) |