1 |
|
|
2 |
|
(TYPEP (QUOTE A) (QUOTE SYMBOL)) |
3 |
|
T |
4 |
|
|
5 |
|
(TYPEP (QUOTE NIL) (QUOTE SYMBOL)) |
6 |
|
T |
7 |
|
|
8 |
|
(TYPEP (QUOTE (NIL)) (QUOTE SYMBOL)) |
9 |
|
NIL |
10 |
|
|
11 |
|
(TYPEP 3 (QUOTE INTEGER)) |
12 |
|
T |
13 |
|
|
14 |
|
(TYPEP 3 (QUOTE (INTEGER 0 4))) |
15 |
|
T |
16 |
|
|
17 |
|
(TYPEP 3 (QUOTE (INTEGER 0 3))) |
18 |
|
T |
19 |
|
|
20 |
|
(TYPEP 3 (QUOTE (INTEGER 0 2))) |
21 |
|
NIL |
22 |
|
|
23 |
|
(TYPEP 3 (QUOTE (FLOAT 0 2))) |
24 |
|
NIL |
25 |
|
|
26 |
|
(TYPEP 3 (QUOTE (FLOAT 0 2))) |
27 |
|
NIL |
28 |
|
|
29 |
|
(TYPEP 3 (QUOTE (FLOAT 0 4))) |
30 |
|
NIL |
31 |
|
|
32 |
|
(TYPEP 3.2 (QUOTE (FLOAT 0.0 4.0))) |
33 |
|
T |
34 |
|
|
35 |
|
(TYPEP 3.2 (QUOTE (FLOAT 0.0 3.2))) |
36 |
|
T |
37 |
|
|
38 |
|
(TYPEP 3.2 (QUOTE (FLOAT 0.0 (3.2)))) |
39 |
|
NIL |
40 |
|
|
41 |
|
(TYPEP 3.2 (QUOTE (SHORT-FLOAT 0.0 3.2))) |
42 |
|
NIL |
43 |
|
|
44 |
|
(TYPEP 3.2 (QUOTE (SINGLE-FLOAT 0.0 3.2))) |
45 |
|
T |
46 |
|
|
47 |
|
(TYPEP 3.2 (QUOTE (DOUBLE-FLOAT 0.0 3.2))) |
48 |
|
NIL |
49 |
|
|
50 |
|
(TYPEP 3.2 (QUOTE (DOUBLE-FLOAT 0.0 3.2))) |
51 |
|
NIL |
52 |
|
|
53 |
|
(TYPEP 3.2 (QUOTE (DOUBLE-FLOAT 0.0 3.2))) |
54 |
|
NIL |
55 |
|
|
56 |
|
(TYPEP 3.2S0 (QUOTE (DOUBLE-FLOAT 0.0S0 3.2S0))) |
57 |
|
NIL |
58 |
|
|
59 |
|
(TYPEP 3.2 (QUOTE (DOUBLE-FLOAT 0.0 3.2))) |
60 |
|
NIL |
61 |
|
|
62 |
|
(TYPEP 3.2 (QUOTE (FLOAT 0.0 3.2))) |
63 |
|
T |
64 |
|
|
65 |
|
(TYPEP 3.2 (QUOTE (FLOAT 0.0 3.2))) |
66 |
|
T |
67 |
|
|
68 |
|
(TYPEP 3.2S0 (QUOTE (FLOAT 0.0S0 3.2S0))) |
69 |
|
T |
70 |
|
|
71 |
|
(TYPEP 2.0S0 (QUOTE (SHORT-FLOAT 0.0S0 3.0S0))) |
72 |
|
T |
73 |
|
|
74 |
|
(TYPEP 2.0S0 (QUOTE (SINGLE-FLOAT 0.0 3.0))) |
75 |
|
NIL |
76 |
|
|
77 |
|
(TYPEP 2.0 (QUOTE (SINGLE-FLOAT 0.0 3.0))) |
78 |
|
T |
79 |
|
|
80 |
|
(TYPEP 2.0D0 (QUOTE (DOUBLE-FLOAT 0.0D0 3.0D0))) |
81 |
|
T |
82 |
|
|
83 |
|
(TYPEP 3.0D0 (QUOTE (DOUBLE-FLOAT 0.0D0 3.0D0))) |
84 |
|
T |
85 |
|
|
86 |
|
(TYPEP 3.0D0 (QUOTE (DOUBLE-FLOAT 0.0D0 (3.0D0)))) |
87 |
|
NIL |
88 |
|
|
89 |
|
(TYPEP 4 (QUOTE (MOD 4))) |
90 |
|
NIL |
91 |
|
|
92 |
|
(TYPEP 4 (QUOTE (MOD 5))) |
93 |
|
T |
94 |
|
|
95 |
|
(TYPEP 4 (QUOTE (RATIONAL 2 5))) |
96 |
|
T |
97 |
|
|
98 |
|
(TYPEP 4 (QUOTE (RATIONAL 2 7/2))) |
99 |
|
NIL |
100 |
|
|
101 |
|
(TYPEP 4 (QUOTE (RATIONAL 2 9/2))) |
102 |
|
T |
103 |
|
|
104 |
|
(TYPEP 4 (QUOTE (RATIONAL 2 4))) |
105 |
|
T |
106 |
|
|
107 |
|
(TYPEP 4/3 (QUOTE (RATIONAL 2 4))) |
108 |
|
NIL |
109 |
|
|
110 |
|
(TYPEP 2 (QUOTE (RATIONAL 2 4))) |
111 |
|
T |
112 |
|
|
113 |
|
(TYPEP "abcd" (QUOTE STRING)) |
114 |
|
T |
115 |
|
|
116 |
|
(TYPEP "abcd" (QUOTE (STRING 4))) |
117 |
|
T |
118 |
|
|
119 |
|
(TYPEP "abcd" (QUOTE (STRING 43))) |
120 |
|
NIL |
121 |
|
|
122 |
|
(TYPEP '#(2 3) (QUOTE (COMPLEX INTEGER))) |
123 |
|
NIL |
124 |
|
|
125 |
|
(TYPEP '#(2 3) (QUOTE COMPLEX)) |
126 |
|
NIL |
127 |
|
|
128 |
|
(TYPEP #C(2 3) (QUOTE COMPLEX)) |
129 |
|
T |
130 |
|
|
131 |
|
(TYPEP #C(2 3) (QUOTE (COMPLEX INTEGER))) |
132 |
|
T |
133 |
|
|
134 |
|
(TYPEP #C(2 3) (QUOTE (COMPLEX FLOAT))) |
135 |
|
NIL |
136 |
|
|
137 |
|
(TYPEP #C(2 3) (QUOTE (COMPLEX SYMBOL))) |
138 |
|
NIL |
139 |
|
|
140 |
|
(TYPEP '#(A B C D) (QUOTE VECTOR)) |
141 |
|
T |
142 |
|
|
143 |
|
(TYPEP '#(A B C D) (QUOTE (VECTOR * 4))) |
144 |
|
T |
145 |
|
|
146 |
|
#| ; hängt von (upgraded-array-element-type 'SYMBOL) ab! |
147 |
|
(TYPEP '#(A B C D) (QUOTE (VECTOR SYMBOL 4))) |
148 |
|
NIL |
149 |
|
|# |
150 |
|
|
151 |
|
(TYPEP (QUOTE A) (QUOTE (CONS SYMBOL))) |
152 |
|
ERROR |
153 |
|
|
154 |
|
(TYPEP (QUOTE A) (QUOTE (OR CONS SYMBOL))) |
155 |
|
T |
156 |
|
|
157 |
|
(TYPEP (QUOTE A) (QUOTE (OR CONS NUMBER))) |
158 |
|
NIL |
159 |
|
|
160 |
|
(TYPEP (QUOTE A) (QUOTE (OR ATOM NUMBER))) |
161 |
|
T |
162 |
|
|
163 |
|
(TYPEP (QUOTE A) (QUOTE (AND ATOM NUMBER))) |
164 |
|
NIL |
165 |
|
|
166 |
|
(TYPEP (QUOTE 2) (QUOTE (AND ATOM NUMBER))) |
167 |
|
T |
168 |
|
|
169 |
|
(TYPEP (QUOTE 2) (QUOTE (MEMBER 1 2 3))) |
170 |
|
T |
171 |
|
|
172 |
|
(TYPEP (QUOTE 2) (QUOTE (MEMBER 1 3))) |
173 |
|
NIL |
174 |
|
|
175 |
|
(TYPEP (QUOTE 2) (QUOTE (NOT (MEMBER 1 3)))) |
176 |
|
T |
177 |
|
|
178 |
|
(TYPEP (QUOTE 2) (QUOTE (NOT (MEMBER 1 2 3)))) |
179 |
|
NIL |
180 |
|
|
181 |
|
(TYPEP 2 (QUOTE (AND NUMBER (NOT SYMBOL)))) |
182 |
|
T |
183 |
|
|
184 |
|
(TYPEP 2 (QUOTE (AND STRING (NOT SYMBOL)))) |
185 |
|
NIL |
186 |
|
|
187 |
|
(TYPEP 2 (QUOTE (OR STRING (NOT SYMBOL)))) |
188 |
|
T |
189 |
|
|
190 |
|
(TYPEP (QUOTE CONS) (QUOTE FUNCTION)) |
191 |
|
T |
192 |
|
|
193 |
|
(TYPEP (QUOTE CONS) (QUOTE (SATISFIES FUNCTIONP))) |
194 |
|
T |
195 |
|
|
196 |
|
(TYPEP (QUOTE CONS) (QUOTE (SATISFIES FUNCTIONP))) |
197 |
|
T |
198 |
|
|
199 |
|
(TYPEP (QUOTE CONS) (QUOTE (SATISFIES NOT))) |
200 |
|
NIL |
201 |
|
|
202 |
|
(TYPEP (QUOTE NIL) (QUOTE (SATISFIES NOT))) |
203 |
|
T |
204 |
|
|
205 |
|
(TYPEP (QUOTE NIL) NIL) |
206 |
|
NIL |
207 |
|
|
208 |
|
(TYPEP (QUOTE T) NIL) |
209 |
|
NIL |
210 |
|
|
211 |
|
(SUBTYPEP (QUOTE CONS) T) |
212 |
|
T |
213 |
|
|
214 |
|
(SUBTYPEP NIL (QUOTE CONS)) |
215 |
|
T |
216 |
|
|
217 |
|
(SUBTYPEP (QUOTE CONS) (QUOTE LIST)) |
218 |
|
T |
219 |
|
|
220 |
|
(SUBTYPEP (QUOTE CONS) (QUOTE (OR ATOM CONS))) |
221 |
|
T |
222 |
|
|
223 |
|
(SUBTYPEP (QUOTE CONS) (QUOTE (AND ATOM CONS))) |
224 |
|
NIL |
225 |
|
|
226 |
|
(SUBTYPEP (QUOTE CONS) (QUOTE (NOT ATOM))) |
227 |
|
#-CLISP T #+CLISP NIL |
228 |
|
|
229 |
|
(SUBTYPEP (QUOTE LIST) (QUOTE (NOT ATOM))) |
230 |
|
NIL |
231 |
|
|
232 |
|
(SUBTYPEP (QUOTE (INTEGER 1 5)) (QUOTE (INTEGER 0 7))) |
233 |
|
T |
234 |
|
|
235 |
|
(SUBTYPEP (QUOTE (INTEGER 1 5)) (QUOTE (INTEGER 0 (5)))) |
236 |
|
NIL |
237 |
|
|
238 |
|
(SUBTYPEP (QUOTE (INTEGER 1 5)) (QUOTE (INTEGER 0 5))) |
239 |
|
T |
240 |
|
|
241 |
|
(SUBTYPEP (QUOTE (INTEGER 1 5)) (QUOTE (MOD 5))) |
242 |
|
NIL |
243 |
|
|
244 |
|
(SUBTYPEP (QUOTE (INTEGER 1 (5))) (QUOTE (MOD 5))) |
245 |
|
T |
246 |
|
|
247 |
|
(SUBTYPEP (QUOTE (OR (INTEGER 1 (5) FLOAT))) (QUOTE (OR FLOAT (MOD |
248 |
|
5)))) |
249 |
|
T |
250 |
|
|
251 |
|
(SUBTYPEP (QUOTE (OR (INTEGER 1 (5)) FLOAT)) (QUOTE (OR FLOAT (MOD |
252 |
|
5)))) |
253 |
|
T |
254 |
|
|
255 |
|
(SUBTYPEP (QUOTE (AND NUMBER (FLOAT 1.0 (5.0)))) (QUOTE (OR FLOAT (MOD |
256 |
|
5)))) |
257 |
|
T |
258 |
|
|
259 |
|
(SUBTYPEP (QUOTE (AND NUMBER (NOT (FLOAT 1.0 (5.0))))) |
260 |
|
(QUOTE (OR FLOAT (MOD 5)))) |
261 |
|
NIL |
262 |
|
|
263 |
|
|
264 |
|
(SUBTYPEP (QUOTE (AND FLOAT (NOT (FLOAT 1.0 (5.0))))) (QUOTE (OR FLOAT |
265 |
|
(MOD 5)))) |
266 |
|
T |
267 |
|
|
268 |
|
(SUBTYPEP (QUOTE (AND FLOAT (NOT (FLOAT 1.0 (5.0))))) |
269 |
|
(QUOTE (OR (FLOAT * 1.0) (FLOAT * 5.0)))) |
270 |
|
NIL |
271 |
|
|
272 |
|
(SUBTYPEP (QUOTE (SATISFIES CONSP)) (QUOTE LIST)) |
273 |
|
NIL |
274 |
|
|
275 |
|
(SUBTYPEP (QUOTE SIMPLE-STRING) (QUOTE ARRAY)) |
276 |
|
T |
277 |
|
|
278 |
|
(DEFTYPE MOD1 (N) `(AND NUMBER (FLOAT 0.0 (,N)))) |
279 |
|
MOD1 |
280 |
|
|
281 |
|
(TYPEP 4.1 (QUOTE (MOD1 5.0))) |
282 |
|
T |
283 |
|
|
284 |
|
(TYPEP 4.1 (QUOTE (MOD1 4.1))) |
285 |
|
NIL |
286 |
|
|
287 |
|
(SUBTYPEP (QUOTE (FLOAT 2.3 6.7)) (QUOTE (MOD1 6.8))) |
288 |
|
T |
289 |
|
|
290 |
|
(SUBTYPEP (QUOTE (FLOAT 2.3 6.7)) (QUOTE (MOD1 6.7))) |
291 |
|
NIL |
292 |
|
|
293 |
|
(DEFUN BELIEBIGER-TEST (A) (MEMBER A (QUOTE (U I V X)))) |
294 |
|
BELIEBIGER-TEST |
295 |
|
|
296 |
|
(NOT (NULL (TYPEP (QUOTE U) (QUOTE (SATISFIES BELIEBIGER-TEST))))) |
297 |
|
T |
298 |
|
|
299 |
|
(TYPEP (QUOTE A) (QUOTE (SATISFIES BELIEBIGER-TEST))) |
300 |
|
NIL |
301 |
|
|
302 |
|
(SUBTYPEP (QUOTE (MEMBER U I)) (QUOTE (SATISFIES BELIEBIGER-TEST))) |
303 |
|
T |
304 |
|
|
305 |
|
(SUBTYPEP (QUOTE (OR (MEMBER U I))) (QUOTE (SATISFIES BELIEBIGER-TEST))) |
306 |
|
T |
307 |
|
|
308 |
|
(SUBTYPEP (QUOTE (OR (MEMBER U I A))) (QUOTE (SATISFIES BELIEBIGER-TEST))) |
309 |
|
NIL |
310 |
|
|
311 |
|
(SUBTYPEP (QUOTE (SATISFIES BELIEBIGER-TEST)) (QUOTE (MEMBER U I V |
312 |
|
X Y))) |
313 |
|
NIL |
314 |
|
|
315 |
|
(DEFTYPE BELIEBIGER-TYP NIL (QUOTE (SATISFIES BELIEBIGER-TEST))) |
316 |
|
BELIEBIGER-TYP |
317 |
|
|
318 |
|
(NOT (NULL (TYPEP (QUOTE U) (QUOTE BELIEBIGER-TYP)))) |
319 |
|
T |
320 |
|
|
321 |
|
(TYPEP (QUOTE A) (QUOTE BELIEBIGER-TYP)) |
322 |
|
NIL |
323 |
|
|
324 |
|
(SUBTYPEP (QUOTE (MEMBER U I)) (QUOTE BELIEBIGER-TYP)) |
325 |
|
T |
326 |
|
|
327 |
|
(SUBTYPEP (QUOTE BELIEBIGER-TYP) (QUOTE (MEMBER U I V X Y))) |
328 |
|
NIL |
329 |
|
(subtypep nil 'fixnum) t |
330 |
|
(subtypep 'short-float 'float ) t |
331 |
|
(subtypep 'single-float 'float ) t |
332 |
|
(subtypep 'double-float 'float ) t |
333 |
|
(subtypep 'long-float 'float ) t |
334 |
|
|
335 |
|
(subtypep 'null 'symbol) t |
336 |
|
(subtypep 'null 'list) t |
337 |
|
(subtypep 'cons 'list) t |
338 |
|
|
339 |
|
(subtypep 'standard-char 'string-char) t |
340 |
|
|
341 |
|
(subtypep 'string-char 'character) t |
342 |
|
|
343 |
|
(subtypep 'string 'vector) t |
344 |
|
|
345 |
|
(subtypep 'bit-vector 'vector) t |
346 |
|
(subtypep 'vector 'array) t |
347 |
|
|
348 |
|
(subtypep 'simple-array 'array) t |
349 |
|
|
350 |
|
(subtypep 'simple-vector 'simple-array) t |
351 |
|
(subtypep 'simple-vector 'vector) t |
352 |
|
(subtypep 'simple-string 'simple-array) t |
353 |
|
(subtypep 'simple-bit-vector 'simple-array) t |
354 |
|
|
355 |
|
(subtypep 'simple-string 'string) t |
356 |
|
(subtypep 'simple-string 'vector) t |
357 |
|
(subtypep 'simple-string 'simple-vector) nil |
358 |
|
(subtypep 'simple-bit-vector 'bit-vector) t |
359 |
|
(subtypep 'bit-vector 'vector) t |
360 |
|
(subtypep 'simple-bit-vector 'simple-vector) nil |
361 |
|
|