11 |
2) |
2) |
12 |
|
|
13 |
(deftest ccase.2 |
(deftest ccase.2 |
14 |
(signals-error (let ((x 1)) (ccase x)) type-error) |
(signals-type-error x 1 (ccase x)) |
15 |
t) |
t) |
16 |
|
|
17 |
(deftest ccase.3 |
(deftest ccase.3 |
18 |
(signals-error |
(signals-type-error x 1 (ccase x (a 1) (b 2) (c 3))) |
|
(let ((x 1))(ccase x (a 1) (b 2) (c 3))) |
|
|
type-error) |
|
19 |
t) |
t) |
20 |
|
|
21 |
;;; It is legal to use T or OTHERWISE as key designators |
;;; It is legal to use T or OTHERWISE as key designators |
22 |
;;; in CCASE forms. They have no special meaning here. |
;;; in CCASE forms. They have no special meaning here. |
23 |
|
|
24 |
(deftest ccase.4 |
(deftest ccase.4 |
25 |
(signals-error |
(signals-type-error x 1 (ccase x (t nil))) |
|
(let ((x 1)) (ccase x (t nil))) |
|
|
type-error) |
|
26 |
t) |
t) |
27 |
|
|
28 |
(deftest ccase.5 |
(deftest ccase.5 |
29 |
(signals-error |
(signals-type-error x 1 (ccase x (otherwise nil))) |
|
(let ((x 1)) (ccase x (otherwise nil))) |
|
|
type-error) |
|
30 |
t) |
t) |
31 |
|
|
32 |
(deftest ccase.6 |
(deftest ccase.6 |
48 |
a) |
a) |
49 |
|
|
50 |
(deftest ccase.9 |
(deftest ccase.9 |
51 |
(signals-error |
(signals-type-error x nil (ccase x (nil 'a))) |
|
(let (x) (ccase x (nil 'a))) |
|
|
type-error) |
|
52 |
t) |
t) |
53 |
|
|
54 |
(deftest ccase.10 |
(deftest ccase.10 |
62 |
1 2 3) |
1 2 3) |
63 |
|
|
64 |
(deftest ccase.12 |
(deftest ccase.12 |
65 |
(signals-error |
(signals-type-error x t (ccase x (a 10))) |
|
(let ((x t)) (ccase x (a 10))) |
|
|
type-error) |
|
66 |
t) |
t) |
67 |
|
|
68 |
(deftest ccase.13 |
(deftest ccase.13 |
76 |
1) |
1) |
77 |
|
|
78 |
(deftest ccase.15 |
(deftest ccase.15 |
79 |
(signals-error |
(signals-type-error x 'otherwise (ccase x ((t) 10))) |
|
(let ((x 'otherwise)) (ccase x ((t) 10))) |
|
|
type-error) |
|
80 |
t) |
t) |
81 |
|
|
82 |
(deftest ccase.16 |
(deftest ccase.16 |
83 |
(signals-error |
(signals-type-error x t (ccase x ((otherwise) 10))) |
|
(let ((x t)) (ccase x ((otherwise) 10))) |
|
|
type-error) |
|
84 |
t) |
t) |
85 |
|
|
86 |
(deftest ccase.17 |
(deftest ccase.17 |
87 |
(signals-error |
(signals-type-error x 'a (ccase x (b 0) (c 1) (otherwise 2))) |
|
(let ((x 'a)) (ccase x (b 0) (c 1) (otherwise 2))) |
|
|
type-error) |
|
88 |
t) |
t) |
89 |
|
|
90 |
(deftest ccase.19 |
(deftest ccase.19 |
91 |
(signals-error |
(signals-type-error x 'a (ccase x (b 0) (c 1) ((t) 2))) |
|
(let ((x 'a)) (ccase x (b 0) (c 1) ((t) 2))) |
|
|
type-error) |
|
92 |
t) |
t) |
93 |
|
|
94 |
(deftest ccase.20 |
(deftest ccase.20 |