8 |
(defun char-type-error-check (fn) |
(defun char-type-error-check (fn) |
9 |
(loop for x in *universe* |
(loop for x in *universe* |
10 |
always (or (characterp x) |
always (or (characterp x) |
11 |
(eq (catch-type-error (funcall fn x)) 'type-error)))) |
(eqt (catch-type-error (funcall fn x)) 'type-error)))) |
12 |
|
|
13 |
(deftest character-class.1 |
(deftest character-class.1 |
14 |
(subtypep 'character t) |
(subtypep* 'character t) |
15 |
t t) |
t t) |
16 |
|
|
17 |
(deftest base-char.1 |
(deftest base-char.1 |
18 |
(subtypep 'base-char 'character) |
(subtypep* 'base-char 'character) |
19 |
t t) |
t t) |
20 |
|
|
21 |
(deftest base-char.2 |
(deftest base-char.2 |
22 |
(subtypep 'base-char t) |
(subtypep* 'base-char t) |
23 |
t t) |
t t) |
24 |
|
|
25 |
(deftest base-char.3 |
(deftest base-char.3 |
27 |
t) |
t) |
28 |
|
|
29 |
(deftest standard-char.1 |
(deftest standard-char.1 |
30 |
(subtypep 'standard-char 'base-char) |
(subtypep* 'standard-char 'base-char) |
31 |
t t) |
t t) |
32 |
|
|
33 |
(deftest standard-char.2 |
(deftest standard-char.2 |
34 |
(subtypep 'standard-char 'character) |
(subtypep* 'standard-char 'character) |
35 |
t t) |
t t) |
36 |
|
|
37 |
(deftest standard-char.3 |
(deftest standard-char.3 |
38 |
(subtypep 'standard-char t) |
(subtypep* 'standard-char t) |
39 |
t t) |
t t) |
40 |
|
|
41 |
(deftest standard-char.4 |
(deftest standard-char.4 |
50 |
t) |
t) |
51 |
|
|
52 |
(deftest extended-char.1 |
(deftest extended-char.1 |
53 |
(subtypep 'extended-char 'character) |
(subtypep* 'extended-char 'character) |
54 |
t t) |
t t) |
55 |
|
|
56 |
(deftest extended-char.2 |
(deftest extended-char.2 |
57 |
(subtypep 'extended-char t) |
(subtypep* 'extended-char t) |
58 |
t t) |
t t) |
59 |
|
|
60 |
(deftest extended-char.3 |
(deftest extended-char.3 |