/[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.9 by pfdietz, Fri Feb 14 06:05:59 2003 UTC revision 1.10 by pfdietz, Fri Feb 14 06:32:21 2003 UTC
# Line 560  Line 560 
560      (check-equivalence `(member 0 ,i1) `(member 0 ,i2)))      (check-equivalence `(member 0 ,i1) `(member 0 ,i2)))
561    nil)    nil)
562    
563    (deftest subtypep.member.20
564      (check-equivalence '(and (member a b c d) (member e d b f g))
565                         '(member b d))
566      nil)
567    
568    (deftest subtypep.member.21
569      (check-equivalence '(and (member a b c d) (member e d f g))
570                         '(eql d))
571      nil)
572    
573    (deftest subtypep.member.22
574      (check-equivalence '(and (member a b c d) (member e f g))
575                         nil)
576      nil)
577    
578    (deftest subtypep.member.23
579      (check-equivalence '(or (member a b c) (member z b w))
580                         '(member z a b w c))
581      nil)
582    
583    (deftest subtypep.member.24
584      (check-equivalence '(or (member a b c) (eql d))
585                         '(member d c b a))
586      nil)
587    
588    (deftest subtypep.member.25
589      (check-equivalence 'boolean '(member nil t))
590      nil)
591    
592    (deftest subtypep.member.26
593      (check-equivalence '(or (eql a) (eql b))
594                         '(member a b))
595      nil)
596    
597    
598  ;;; Tests of EQL types  ;;; Tests of EQL types
599    
600  (deftest subtypep.eql.1  (deftest subtypep.eql.1
# Line 590  Line 625 
625      (check-equivalence `(eql ,i1) `(eql ,i2)))      (check-equivalence `(eql ,i1) `(eql ,i2)))
626    nil)    nil)
627    
628    (deftest subtypep.eql.4
629          (check-equivalence '(and (eql a) (eql b)) nil)
630      nil)

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