10 |
2) |
2) |
11 |
|
|
12 |
(deftest ecase.2 |
(deftest ecase.2 |
13 |
(signals-error (ecase 1) type-error) |
(signals-type-error x 1 (ecase x)) |
14 |
t) |
t) |
15 |
|
|
16 |
(deftest ecase.3 |
(deftest ecase.3 |
17 |
(signals-error (ecase 1 (a 1) (b 2) (c 3)) type-error) |
(signals-type-error x 1 (ecase x (a 1) (b 2) (c 3))) |
18 |
t) |
t) |
19 |
|
|
20 |
;;; It is legal to use T or OTHERWISE as key designators |
;;; It is legal to use T or OTHERWISE as key designators |
21 |
;;; in ECASE forms. They have no special meaning here. |
;;; in ECASE forms. They have no special meaning here. |
22 |
|
|
23 |
(deftest ecase.4 |
(deftest ecase.4 |
24 |
(signals-error (ecase 1 (t nil)) type-error) |
(signals-type-error x 1 (ecase x (t nil))) |
25 |
t) |
t) |
26 |
|
|
27 |
(deftest ecase.5 |
(deftest ecase.5 |
28 |
(signals-error (ecase 1 (otherwise nil)) type-error) |
(signals-type-error x 1 (ecase x (otherwise nil))) |
29 |
t) |
t) |
30 |
|
|
31 |
(deftest ecase.6 |
(deftest ecase.6 |
45 |
a) |
a) |
46 |
|
|
47 |
(deftest ecase.9 |
(deftest ecase.9 |
48 |
(signals-error (ecase nil (nil 'a)) type-error) |
(signals-type-error x nil (ecase x (nil 'a))) |
49 |
t) |
t) |
50 |
|
|
51 |
(deftest ecase.10 |
(deftest ecase.10 |
57 |
1 2 3) |
1 2 3) |
58 |
|
|
59 |
(deftest ecase.12 |
(deftest ecase.12 |
60 |
(signals-error (ecase t (a 10)) type-error) |
(signals-type-error x t (ecase x (a 10))) |
61 |
t) |
t) |
62 |
|
|
63 |
(deftest ecase.13 |
(deftest ecase.13 |
70 |
1) |
1) |
71 |
|
|
72 |
(deftest ecase.15 |
(deftest ecase.15 |
73 |
(signals-error (ecase 'otherwise ((t) 10)) type-error) |
(signals-type-error x 'otherwise (ecase x ((t) 10))) |
74 |
t) |
t) |
75 |
|
|
76 |
(deftest ecase.16 |
(deftest ecase.16 |
77 |
(signals-error (ecase t ((otherwise) 10)) type-error) |
(signals-type-error x t (ecase x ((otherwise) 10))) |
78 |
t) |
t) |
79 |
|
|
80 |
(deftest ecase.17 |
(deftest ecase.17 |
81 |
(signals-error (ecase 'a (b 0) (c 1) (otherwise 2)) |
(signals-type-error x 'a (ecase x (b 0) (c 1) (otherwise 2))) |
|
type-error) |
|
82 |
t) |
t) |
83 |
|
|
84 |
(deftest ecase.18 |
(deftest ecase.18 |
85 |
(signals-error (ecase 'a (b 0) (c 1) ((otherwise) 2)) |
(signals-type-error x 'a (ecase x (b 0) (c 1) ((otherwise) 2))) |
|
type-error) |
|
86 |
t) |
t) |
87 |
|
|
88 |
(deftest ecase.19 |
(deftest ecase.19 |
89 |
(signals-error (ecase 'a (b 0) (c 1) ((t) 2)) type-error) |
(signals-type-error x 'a (ecase x (b 0) (c 1) ((t) 2))) |
90 |
t) |
t) |
91 |
|
|
92 |
(deftest ecase.20 |
(deftest ecase.20 |