11 |
a) |
a) |
12 |
|
|
13 |
(deftest ctypecase.2 |
(deftest ctypecase.2 |
14 |
(signals-error |
(signals-type-error |
15 |
(let ((x 1)) |
x 1 |
16 |
(ctypecase x (symbol 'a))) |
(ctypecase x (symbol 'a))) |
|
type-error) |
|
17 |
t) |
t) |
18 |
|
|
19 |
(deftest ctypecase.3 |
(deftest ctypecase.3 |
68 |
(let ((x 1)) |
(let ((x 1)) |
69 |
(values |
(values |
70 |
(handler-bind |
(handler-bind |
71 |
((type-error #'(lambda (c) (store-value 'a c)))) |
((type-error #'(lambda (c) |
72 |
|
(assert (eql (type-error-datum c) 1)) |
73 |
|
(assert (not (typep 1 (type-error-expected-type c)))) |
74 |
|
(store-value 'a c)))) |
75 |
(ctypecase x |
(ctypecase x |
76 |
(symbol :good) |
(symbol :good) |
77 |
(float :bad))) |
(float :bad))) |