/[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.9 by pfdietz, Tue Oct 7 07:36:33 2003 UTC revision 1.10 by pfdietz, Thu Nov 27 00:52:52 2003 UTC
# Line 254  Line 254 
254      (subtypep-and-contrapositive-are-consistent t1 t2))      (subtypep-and-contrapositive-are-consistent t1 t2))
255    t)    t)
256    
257    (deftest subtypep.cons.29
258      (let ((t2 '(or (not (cons unsigned-byte cons))
259                     (not (cons (integer -6 22) rational)))))
260        (subtypep-and-contrapositive-are-consistent 'cons t2))
261      t)
262    
263    (deftest subtypep.cons.30
264      (let ((t1 '(not (cons t (cons t (cons cons t)))))
265            (t2 '(or (or (cons (cons t integer) t)
266                         (not (cons t (cons t cons))))
267                     (not (cons (cons (eql -27111309) t)
268                                (cons t (eql 1140730)))))))
269        (subtypep-and-contrapositive-are-consistent t1 t2))
270      t)
271    
272    (deftest subtypep.cons.31
273      (let ((t2 '(or
274                  (not
275                   (cons (or (cons t ratio) (cons short-float t))
276                         (cons (cons (eql -7418623) (integer -9 53))
277                               (cons cons t))))
278                  (not
279                   (cons (cons t (eql -265039))
280                         (cons (cons t cons) t))))))
281        (subtypep-and-contrapositive-are-consistent 'cons t2))
282      t)

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

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