28 |
(deftest make-condition.3 |
(deftest make-condition.3 |
29 |
(let* ((tp '(or program-error type-error)) |
(let* ((tp '(or program-error type-error)) |
30 |
(c (make-condition tp))) |
(c (make-condition tp))) |
31 |
(notnot-mv (typep c tp))) |
(or (not (and (subtypep tp condition) |
32 |
|
(or (subtypep 'program-error tp) |
33 |
|
(subtypep 'type-error tp)))) |
34 |
|
(notnot-mv (typep c tp)))) |
35 |
t) |
t) |
36 |
|
|
37 |
(deftest make-condition.4 |
(deftest make-condition.4 |
38 |
(let* ((tp '(and simple-error type-error)) |
(let* ((tp '(and simple-error type-error)) |
39 |
(c (make-condition tp))) |
(c (make-condition tp))) |
40 |
(notnot-mv (typep c tp))) |
(or (not (and (subtypep 'simple-error tp) |
41 |
|
(subtypep 'type-error tp) |
42 |
|
(subtypep tp 'condition))) |
43 |
|
(notnot-mv (typep c tp)))) |
44 |
t) |
t) |
45 |
|
|
46 |
;;; Error tests |
;;; Error tests |