68 |
3) |
3) |
69 |
|
|
70 |
;;; map tests here |
;;; map tests here |
71 |
|
|
72 |
|
(def-type-prop-test map.1 'map |
73 |
|
(list '(member list vector) |
74 |
|
'(member list #.#'list) |
75 |
|
'(or list vector)) |
76 |
|
3) |
77 |
|
|
78 |
|
(def-type-prop-test map.2 'map |
79 |
|
(list '(member list vector) |
80 |
|
'(member list #.#'list) |
81 |
|
'(or list vector) |
82 |
|
'(or list vector)) |
83 |
|
4) |
84 |
|
|
85 |
|
(def-type-prop-test map.3 'map |
86 |
|
(list '(member list vector) |
87 |
|
'(member list #.#'list) |
88 |
|
'(or list vector) |
89 |
|
'(or list vector) |
90 |
|
'(or list vector)) |
91 |
|
5) |
92 |
|
|
93 |
|
(def-type-prop-test map.4 'map |
94 |
|
(list '(member list vector (vector (unsigned-byte 32))) |
95 |
|
'(member 1+ #.#'1+) |
96 |
|
`(or ,@(loop for i from 1 to 31 collect `(vector (unsigned-byte ,i))))) |
97 |
|
3) |
98 |
|
|
99 |
|
(def-type-prop-test map.5 'map |
100 |
|
(list `(member ,@(loop for i from 1 to 32 collect `(vector (unsigned-byte ,i)))) |
101 |
|
'(member 1+ #.#'1+) |
102 |
|
#'(lambda (type fun) |
103 |
|
(declare (ignore fun)) |
104 |
|
(let ((i (cadadr type))) |
105 |
|
`(or ,@(loop for j from i to 32 collect `(vector (integer 0 ,(- (ash 1 i) 2)))))))) |
106 |
|
3) |
107 |
|
|
108 |
|
|
109 |
|
|
110 |
;;; map-into tests here |
;;; map-into tests here |
111 |
|
|
112 |
|
(def-type-prop-test map-into.1 'map-into |
113 |
|
(list '(or list (vector t)) |
114 |
|
'(member list #.#'list) |
115 |
|
'(or list vector)) |
116 |
|
3 :replicate '(t nil nil)) |
117 |
|
|
118 |
|
(def-type-prop-test map-into.2 'map-into |
119 |
|
(list '(or list (vector t)) |
120 |
|
'(member list #.#'list) |
121 |
|
'(or list vector) |
122 |
|
'(or list vector)) |
123 |
|
4 :replicate '(t nil nil nil)) |
124 |
|
|
125 |
;;; reduce tests here |
;;; reduce tests here |
126 |
|
|
127 |
(def-type-prop-test count.1 'count '(t sequence) 2) |
(def-type-prop-test count.1 'count '(t sequence) 2) |
150 |
`(integer ,start ,(length s)))) |
`(integer ,start ,(length s)))) |
151 |
6) |
6) |
152 |
|
|
153 |
;;; count-if, count-if-not tests here |
(def-type-prop-test count.6 'count |
154 |
|
(list '(or short-float single-float double-float long-float) |
155 |
|
#'(lambda (f) `(vector (or ,(typecase f |
156 |
|
(short-float 'short-float) |
157 |
|
(single-float 'single-float) |
158 |
|
(double-float 'double-float) |
159 |
|
(long-float 'long-float) |
160 |
|
(t 'float)) |
161 |
|
(eql ,f))))) |
162 |
|
2) |
163 |
|
|
164 |
|
(def-type-prop-test count.7 'count '(bit (vector bit)) 2) |
165 |
|
(def-type-prop-test count.8 'count '((unsigned-byte 2) (vector (unsigned-byte 2))) 2) |
166 |
|
(def-type-prop-test count.9 'count '((unsigned-byte 4) (vector (unsigned-byte 4))) 2) |
167 |
|
(def-type-prop-test count.10 'count '((unsigned-byte 8) (vector (unsigned-byte 8))) 2) |
168 |
|
|
169 |
|
|
170 |
|
;;; count-if tests |
171 |
|
|
172 |
|
(def-type-prop-test count-if.1 'count-if |
173 |
|
(list (let ((funs '(numberp rationalp realp floatp complexp |
174 |
|
symbolp identity null functionp listp consp |
175 |
|
arrayp vectorp simple-vector-p |
176 |
|
stringp simple-string-p |
177 |
|
bit-vector-p simple-bit-vector-p))) |
178 |
|
`(member ,@funs ,@(mapcar #'symbol-function funs))) |
179 |
|
'(or list vector)) |
180 |
|
2) |
181 |
|
|
182 |
|
(def-type-prop-test count-if.2 'count-if |
183 |
|
(list (let ((funs '(numberp rationalp realp floatp complexp |
184 |
|
symbolp identity null functionp listp consp |
185 |
|
arrayp vectorp simple-vector-p |
186 |
|
stringp simple-string-p |
187 |
|
bit-vector-p simple-bit-vector-p))) |
188 |
|
`(member ,@funs ,@(mapcar #'symbol-function funs))) |
189 |
|
'(or list vector) |
190 |
|
'(eql :test) |
191 |
|
(let ((test-funs '(eq eql equal equalp))) |
192 |
|
`(member ,@test-funs ,@(mapcar #'symbol-function test-funs)))) |
193 |
|
4) |
194 |
|
|
195 |
|
|
196 |
|
|
197 |
|
|
198 |
|
;;; Put count-if-not tests here |
199 |
|
|
200 |
|
|
201 |
(def-type-prop-test length.1 'length '(sequence) 1) |
(def-type-prop-test length.1 'length '(sequence) 1) |
202 |
|
|
271 |
(member < <= > >= ,#'< ,#'<= ,#'> ,#'>=)) |
(member < <= > >= ,#'< ,#'<= ,#'> ,#'>=)) |
272 |
2 :replicate '(t nil)) |
2 :replicate '(t nil)) |
273 |
|
|
|
|
|
|
|
|