111 |
(subtypep* 'simple-bit-vector 'simple-vector) |
(subtypep* 'simple-bit-vector 'simple-vector) |
112 |
nil t) |
nil t) |
113 |
|
|
114 |
|
;;; Extended characters |
115 |
|
|
116 |
(deftest subtypep.extended-char.1 |
(deftest subtypep.extended-char.1 |
117 |
(if (subtypep* 'character 'base-char) |
(if (subtypep* 'character 'base-char) |
118 |
(subtypep* 'extended-char nil) |
(subtypep* 'extended-char nil) |
119 |
(values t t)) |
(values t t)) |
120 |
t t) |
t t) |
121 |
|
|
122 |
|
(deftest subtypep.extended-char.2 |
123 |
|
(if (subtypep* 'extended-char nil) |
124 |
|
(subtypep* 'character 'base-char) |
125 |
|
(values t t)) |
126 |
|
t t) |
127 |
|
|
128 |
|
(deftest subtypep.extended-char.3 |
129 |
|
(check-equivalence 'extended-char '(and character (not base-char))) |
130 |
|
nil) |
131 |
|
|
132 |
|
|
133 |
|
;;; Some and, or combinations |
134 |
|
|
135 |
(deftest subtypep.and/or.1 |
(deftest subtypep.and/or.1 |
136 |
(check-equivalence |
(check-equivalence |
137 |
'(and (or symbol (integer 0 15)) |
'(and (or symbol (integer 0 15)) |