/[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.16 by pfdietz, Fri Oct 7 13:19:00 2005 UTC revision 1.17 by pfdietz, Fri Oct 7 13:49:01 2005 UTC
# Line 333  Line 333 
333       (subtypep* type1 type2)       (subtypep* type1 type2)
334       (subtypep* `(not ,type2) `(not ,type1))))       (subtypep* `(not ,type2) `(not ,type1))))
335    nil nil)    nil nil)
336    
337    ;;; From SBCL
338    
339    (deftest subtypep.cons.41
340      (let ((type1 '(cons t (complex (real -10 -4))))
341            (type2 '(not (cons t (complex (integer -200 -100))))))
342        (multiple-value-bind (sub1 success1)
343            (subtypep* type1 type2)
344          (multiple-value-bind (sub2 success2)
345              (subtypep* `(not ,type2) `(not ,type1))
346            (if (and success1 success2 (not (eq sub1 sub2)))
347                (values sub1 sub2)
348                nil))))
349      nil)
350    

Legend:
Removed from v.1.16  
changed lines
  Added in v.1.17

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