11 |
2) |
2) |
12 |
|
|
13 |
(deftest ccase.2 |
(deftest ccase.2 |
14 |
(let ((x 1)) |
(classify-error |
15 |
(classify-error (ccase x))) |
(let ((x 1)) (ccase x))) |
16 |
type-error) |
type-error) |
17 |
|
|
18 |
(deftest ccase.3 |
(deftest ccase.3 |
19 |
(let ((x 1)) |
(classify-error |
20 |
(classify-error (ccase x (a 1) (b 2) (c 3)))) |
(let ((x 1)) |
21 |
|
(ccase x (a 1) (b 2) (c 3)))) |
22 |
type-error) |
type-error) |
23 |
|
|
24 |
;;; It is legal to use T or OTHERWISE as key designators |
;;; It is legal to use T or OTHERWISE as key designators |
25 |
;;; in CCASE forms. They have no special meaning here. |
;;; in CCASE forms. They have no special meaning here. |
26 |
|
|
27 |
(deftest ccase.4 |
(deftest ccase.4 |
28 |
(let ((x 1)) |
(classify-error |
29 |
(classify-error (ccase x (t nil)))) |
(let ((x 1)) |
30 |
|
(ccase x (t nil)))) |
31 |
type-error) |
type-error) |
32 |
|
|
33 |
(deftest ccase.5 |
(deftest ccase.5 |
34 |
(let ((x 1)) |
(classify-error |
35 |
(classify-error (ccase x (otherwise nil)))) |
(let ((x 1)) |
36 |
|
(ccase x (otherwise nil)))) |
37 |
type-error) |
type-error) |
38 |
|
|
39 |
(deftest ccase.6 |
(deftest ccase.6 |
55 |
a) |
a) |
56 |
|
|
57 |
(deftest ccase.9 |
(deftest ccase.9 |
58 |
(let (x) |
(classify-error |
59 |
(classify-error (ccase x (nil 'a)))) |
(let (x) |
60 |
|
(ccase x (nil 'a)))) |
61 |
type-error) |
type-error) |
62 |
|
|
63 |
(deftest ccase.10 |
(deftest ccase.10 |
71 |
1 2 3) |
1 2 3) |
72 |
|
|
73 |
(deftest ccase.12 |
(deftest ccase.12 |
74 |
(let ((x t)) |
(classify-error |
75 |
(classify-error (ccase x (a 10)))) |
(let ((x t)) |
76 |
|
(ccase x (a 10)))) |
77 |
type-error) |
type-error) |
78 |
|
|
79 |
(deftest ccase.13 |
(deftest ccase.13 |
87 |
1) |
1) |
88 |
|
|
89 |
(deftest ccase.15 |
(deftest ccase.15 |
90 |
(let ((x 'otherwise)) |
(classify-error |
91 |
(classify-error (ccase x ((t) 10)))) |
(let ((x 'otherwise)) |
92 |
|
(ccase x ((t) 10)))) |
93 |
type-error) |
type-error) |
94 |
|
|
95 |
(deftest ccase.16 |
(deftest ccase.16 |
96 |
(let ((x t)) |
(classify-error |
97 |
(classify-error (ccase x ((otherwise) 10)))) |
(let ((x t)) |
98 |
|
(ccase x ((otherwise) 10)))) |
99 |
type-error) |
type-error) |
100 |
|
|
101 |
(deftest ccase.17 |
(deftest ccase.17 |
102 |
(let ((x 'a)) |
(classify-error |
103 |
(classify-error (ccase x (b 0) (c 1) (otherwise 2)))) |
(let ((x 'a)) |
104 |
|
(ccase x (b 0) (c 1) (otherwise 2)))) |
105 |
type-error) |
type-error) |
106 |
|
|
107 |
(deftest ccase.19 |
(deftest ccase.19 |
108 |
(let ((x 'a)) |
(classify-error |
109 |
(classify-error (ccase x (b 0) (c 1) ((t) 2)))) |
(let ((x 'a)) |
110 |
|
(ccase x (b 0) (c 1) ((t) 2)))) |
111 |
type-error) |
type-error) |
112 |
|
|
113 |
(deftest ccase.20 |
(deftest ccase.20 |