/[gcl]/gcl/tests/type.tst
ViewVC logotype

Diff of /gcl/tests/type.tst

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by camm, Thu Dec 20 20:29:54 2001 UTC revision 1.2 by camm, Sun Feb 3 18:44:08 2002 UTC
# Line 0  Line 1 
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    

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26