/[gcl]/gcl/ansi-tests/subtypep.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/subtypep.lsp

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

revision 1.4 by pfdietz, Thu Feb 6 02:10:52 2003 UTC revision 1.5 by pfdietz, Thu Feb 6 03:43:48 2003 UTC
# Line 130  Line 130 
130     'bignum)     'bignum)
131    nil)    nil)
132    
133    ;;;;;;;
134    
135  (deftest subtypep.integer.1  (deftest subtypep.integer.1
136    (subtypep* '(integer 0 10) '(integer 0 20))    (subtypep* '(integer 0 10) '(integer 0 20))
137    t t)    t t)
# Line 138  Line 140 
140    (subtypep* '(integer 0 10) '(integer 0 (10)))    (subtypep* '(integer 0 10) '(integer 0 (10)))
141    nil t)    nil t)
142    
143    (deftest subtypep.integer.3
144      (subtypep* '(integer 10 100) 'integer)
145      t t)
146    
147    (deftest subtypep.integer.4
148      (subtypep* 'integer '(integer 10 100))
149      nil t)
150    
151    (deftest subtypep.integer.5
152      (subtypep* '(integer 10 *) 'integer)
153      t t)
154    
155    (deftest subtypep.integer.6
156      (subtypep* 'integer '(integer 10 *))
157      nil t)
158    
159    (deftest subtypep.integer.7
160      (subtypep* '(integer 10) 'integer)
161      t t)
162    
163    (deftest subtypep.integer.8
164      (subtypep* 'integer '(integer 10))
165      nil t)
166    
167    (deftest subtypep.integer.9
168      (subtypep* '(integer * 10) 'integer)
169      t t)
170    
171    (deftest subtypep.integer.10
172      (subtypep* 'integer '(integer * 10))
173      nil t)
174    
175    (deftest subtypep.integer.11
176      (subtypep* '(integer 10) '(integer 5))
177      t t)
178    
179    (deftest subtypep.integer.12
180      (subtypep* '(integer 5) '(integer 10))
181      nil t)
182    
183    (deftest subtypep.integer.13
184      (subtypep* '(integer 10 *) '(integer 5))
185      t t)
186    
187    (deftest subtypep.integer.14
188      (subtypep* '(integer 5) '(integer 10 *))
189      nil t)
190    
191    (deftest subtypep.integer.15
192      (subtypep* '(integer 10) '(integer 5 *))
193      t t)
194    
195    (deftest subtypep.integer.16
196      (subtypep* '(integer 5 *) '(integer 10))
197      nil t)
198    
199    (deftest subtypep.integer.17
200      (subtypep* '(integer 10 *) '(integer 5 *))
201      t t)
202    
203    (deftest subtypep.integer.18
204      (subtypep* '(integer 5 *) '(integer 10 *))
205      nil t)
206    
207    (deftest subtypep.integer.19
208      (subtypep* '(integer * 5) '(integer * 10))
209      t t)
210    
211    (deftest subtypep.integer.20
212      (subtypep* '(integer * 10) '(integer * 5))
213      nil t)
214    
215    (deftest subtypep.integer.21
216      (subtypep* '(integer 10 *) '(integer * 10))
217      nil t)
218    
219    (deftest subtypep.integer.22
220      (subtypep* '(integer * 10) '(integer 10 *))
221      nil t)
222    
223    (deftest subtypep.integer.23
224      (check-equivalence '(integer (9)) '(integer 10))
225      nil)
226    
227    (deftest subtypep.integer.24
228      (check-equivalence '(integer * (11)) '(integer * 10))
229      nil)
230    
231    ;;;;;;;
232    
233  (deftest subtypep.float.1  (deftest subtypep.float.1
234    (loop for tp in +float-types+    (loop for tp in +float-types+
235          append (check-subtypep tp 'float t t))          append (check-subtypep tp 'float t t))
# Line 256  Line 348 
348          collect t1)          collect t1)
349    nil)    nil)
350    
351    ;;; SUBTYPEP on MEMBER types
352    
353    (deftest subtypep.member.1
354      (subtypep*-or-fail '(member a b c) '(member a b c d))
355      t)
356    
357    (deftest subtypep.member.2
358      (subtypep*-not-or-fail '(member a b c) '(member a b))
359      t)
360    
361    (deftest subtypep.member.3
362      (check-equivalence '(member) nil)
363      nil)
364    
365    (deftest subtypep.member.4
366      (subtypep*-or-fail '(eql b) '(member a b c))
367      t)
368    
369    (deftest subtypep.member.5
370      (subtypep*-or-fail '(member a b c d e) 'symbol)
371      t)
372    
373    (deftest subtypep.member.6
374      (subtypep*-not-or-fail '(member a b 10 d e) 'symbol)
375      t)
376    
377    (deftest subtypep.member.7
378      (subtypep*-or-fail 'null '(member a b nil c d e))
379      t)
380    
381    (deftest subtypep.member.8
382      (subtypep*-not-or-fail 'null '(member a b c d e))
383      t)
384    
385    (deftest subtypep.member.9
386      (let ((b1 (1+ most-positive-fixnum))
387            (b2 (1+ most-positive-fixnum)))
388        (subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2)))
389      t)
390    
391    (deftest subtypep.member.10
392      (subtypep*-or-fail '(member :a :b :c) 'keyword)
393      t)
394    
395    (deftest subtypep.member.11
396      (let ((b1 (copy-list '(a)))
397            (b2 (copy-list '(a))))
398        (subtypep*-not-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2)))
399      t)
400    
401    (deftest subtypep.member.12
402      (let ((b1 '(a)))
403        (subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b1)))
404      t)
405    
406    (deftest subtypep.member.13
407      (subtypep*-or-fail '(member 10 20 30) '(integer 0 100))
408      t)
409    
410    (deftest subtypep.member.14
411      (subtypep*-or-fail '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100))
412      t)
413    
414    (deftest subtypep.member.15
415      (subtypep*-not-or-fail '(integer 3 6) '(member 0 1 2 3 5 6 7 8))
416      t)
417    
418    (deftest subtypep.member.16
419      (check-equivalence '(integer 2 5) '(member 2 5 4 3))
420      nil)

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

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