/[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.10 by pfdietz, Thu Nov 27 00:52:52 2003 UTC revision 1.11 by pfdietz, Sat Nov 29 01:57:00 2003 UTC
# Line 280  Line 280 
280                       (cons (cons t cons) t))))))                       (cons (cons t cons) t))))))
281      (subtypep-and-contrapositive-are-consistent 'cons t2))      (subtypep-and-contrapositive-are-consistent 'cons t2))
282    t)    t)
283    
284    (deftest subtypep.cons.32
285      (let ((t2 '(cons t
286                       (or (not (cons integer (eql 0)))
287                           (not (cons (or float (eql 0)) cons))))))
288        (subtypep-and-contrapositive-are-consistent 'cons t2))
289      t)
290    
291    (deftest subtypep.cons.33
292      (let ((t2 '(or (not (cons (cons t cons) (cons t (cons unsigned-byte t))))
293                     (not (cons (cons integer t) (cons t (cons cons t)))))))
294        (subtypep-and-contrapositive-are-consistent 'cons t2))
295      t)
296    
297    (deftest subtypep.cons.34
298      (let ((t2 '(or (not (cons (or (eql 0) ratio) (not cons)))
299                     (not (cons integer cons)))))
300        (subtypep-and-contrapositive-are-consistent 'cons t2))
301      t)

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

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