← Back to branch summary

~ubuntu-branches/ubuntu/vivid/gcl/vivid

« back to all changes in this revision

Viewing changes to tests/type.tst

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2002-03-04 14:29:59 UTC
  • Revision ID: james.westby@ubuntu.com-20020304142959-dey14w08kr7lldu3
Tags: upstream-2.5.0.cvs20020219
Import upstream version 2.5.0.cvs20020219

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/type.tst
 
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