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

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

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

revision 1.8 by pfdietz, Mon Mar 3 13:44:37 2003 UTC revision 1.9 by pfdietz, Tue Oct 7 07:36:33 2003 UTC
# Line 212  Line 212 
212     '(cons single-float integer)     '(cons single-float integer)
213     '(or (cons single-float fixnum) (cons single-float bignum)))     '(or (cons single-float fixnum) (cons single-float bignum)))
214    nil)    nil)
215    
216    ;;; More test cases from SBCL, CMUCL, culled from random test failures
217    
218    (deftest subtype.cons.23
219      (let ((t1 '(cons t (cons (not long-float) symbol)))
220            (t2 '(not (cons symbol (cons integer integer)))))
221        (subtypep-and-contrapositive-are-consistent t1 t2))
222      t)
223    
224    (deftest subtype.cons.24
225      (let ((t1 '(cons (eql 3671) (cons short-float (eql -663423073525))))
226            (t2 '(not (cons t (cons (not complex) (cons integer t))))))
227        (subtypep-and-contrapositive-are-consistent t1 t2))
228      t)
229    
230    (deftest subtype.cons.25
231      (let ((t1 '(cons t (cons (not long-float) (integer 44745969 61634129))))
232            (t2 '(not (cons (eql -3) (cons short-float (cons t float))))))
233        (subtypep-and-contrapositive-are-consistent t1 t2))
234      t)
235    
236    (deftest subtype.cons.26
237      (let ((t1 '(cons integer (cons single-float (cons t t))))
238            (t2 '(cons t (cons (not complex) (not (eql 8))))))
239        (subtypep-and-contrapositive-are-consistent t1 t2))
240      t)
241    
242    (deftest subtype.cons.27
243      (let ((t1 '(cons (not (integer -27 30))
244                       (cons rational (cons integer integer))))
245            (t2 '(not (cons integer (cons integer (eql 378132631))))))
246        (subtypep-and-contrapositive-are-consistent t1 t2))
247      t)
248    
249    (deftest subtype.cons.28
250      (let ((t1 '(cons (integer -1696888 -1460338)
251                       (cons single-float symbol)))
252            (t2 '(not (cons (not (integer -14 20))
253                            (cons (not integer) cons)))))
254        (subtypep-and-contrapositive-are-consistent t1 t2))
255      t)
256    
257    
258    
259    
260    
261    
262    
263    
264    
265    
266    

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

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