233 |
(notnot-mv (macro-function 'deftype)) |
(notnot-mv (macro-function 'deftype)) |
234 |
t) |
t) |
235 |
|
|
236 |
|
;;; TYPE-ERROR accessors |
237 |
|
|
238 |
|
(deftest type-error-datum.1 |
239 |
|
(let ((c (make-condition 'type-error :datum 'a :expected-type 'integer))) |
240 |
|
(type-error-datum c)) |
241 |
|
a) |
242 |
|
|
243 |
|
(deftest type-error-expected-type.1 |
244 |
|
(let ((c (make-condition 'type-error |
245 |
|
:datum 'a :expected-type 'integer))) |
246 |
|
(type-error-expected-type c)) |
247 |
|
integer) |
248 |
|
|
249 |
;;; Error checking of type-related functions |
;;; Error checking of type-related functions |
250 |
|
|
251 |
(deftest type-error-datum.error.1 |
(deftest type-error-datum.error.1 |