390 |
(deftest ,(make-struct-test-name name 15) |
(deftest ,(make-struct-test-name name 15) |
391 |
(notnot (typep (,make-fn) 'structure-object)) |
(notnot (typep (,make-fn) 'structure-object)) |
392 |
t) |
t) |
393 |
|
(deftest ,(make-struct-test-name name 16) |
394 |
|
(loop for type in *disjoint-types-list* |
395 |
|
unless (and |
396 |
|
(equalt (multiple-value-list |
397 |
|
(subtypep* type (quote ,name))) |
398 |
|
'(nil t)) |
399 |
|
(equalt (multiple-value-list |
400 |
|
(subtypep* (quote ,name) type)) |
401 |
|
'(nil t))) |
402 |
|
collect type) |
403 |
|
nil) |
404 |
|
(deftest ,(make-struct-test-name name 17) |
405 |
|
(let ((class (find-class (quote ,name)))) |
406 |
|
(loop for type in *disjoint-types-list* |
407 |
|
unless (and |
408 |
|
(equalt (multiple-value-list |
409 |
|
(subtypep* type class)) |
410 |
|
'(nil t)) |
411 |
|
(equalt (multiple-value-list |
412 |
|
(subtypep* class type)) |
413 |
|
'(nil t))) |
414 |
|
collect type)) |
415 |
|
nil) |
416 |
)) |
)) |
417 |
nil |
nil |
418 |
))) |
))) |
419 |
|
|