260 |
(signals-error (subsetp (list* 1 2 3) (list 1 2 3 4 5 6)) type-error) |
(signals-error (subsetp (list* 1 2 3) (list 1 2 3 4 5 6)) type-error) |
261 |
t) |
t) |
262 |
|
|
263 |
|
;;; The next two tests previously compared against NIL, but arguably |
264 |
|
;;; a conforming implementation is not required to signal an error |
265 |
|
;;; in these cases, since it doesn't have to traverse the other list. |
266 |
|
|
267 |
(deftest subsetp.error.13 |
(deftest subsetp.error.13 |
268 |
(check-type-error #'(lambda (x) (subsetp x nil)) #'listp) |
(check-type-error #'(lambda (x) (subsetp x '(a b))) #'listp) |
269 |
nil) |
nil) |
270 |
|
|
271 |
(deftest subsetp.error.14 |
(deftest subsetp.error.14 |
272 |
(check-type-error #'(lambda (x) (subsetp nil x)) #'listp) |
(check-type-error #'(lambda (x) (subsetp '(a b) x)) #'listp) |
273 |
nil) |
nil) |
274 |
|
|