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

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

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

revision 1.6 by pfdietz, Thu Feb 27 03:50:51 2003 UTC revision 1.7 by pfdietz, Sat Mar 1 19:29:29 2003 UTC
# Line 177  Line 177 
177  (deftest subtypep.member.36  (deftest subtypep.member.36
178    (check-disjointness '(eql a) '(or (member b c d) (eql e)))    (check-disjointness '(eql a) '(or (member b c d) (eql e)))
179    nil)    nil)
180    
181    (deftest subtypep.member.37
182      (check-equivalence
183       '(and (member a b c d) (not (eql c)))
184       '(member a b d))
185      nil)
186    
187    (deftest subtypep.member.38
188      (check-equivalence
189       '(and (member a b c d e f g)
190             (not (member b f)))
191       '(member a c d e g))
192      nil)
193    
194    (deftest subtypep.member.39
195      (check-equivalence
196       '(and (not (member b d e f g))
197             (not (member x y b z d)))
198       '(not (member b d e f g x y z)))
199      nil)
200    
201    (deftest subtypep.member.40
202      (check-equivalence
203       '(and (not (eql a)) (not (eql b)))
204       '(not (member a b)))
205      nil)
206    
207    (deftest subtypep.member.41
208      (check-equivalence
209       '(and (not (eql a)) (not (eql b)) (not (eql c)))
210       '(not (member c b a)))
211      nil)
212    
213    (deftest subtypep.member.42
214      (check-equivalence
215       '(and (not (member a b)) (not (member b c)))
216       '(not (member c b a)))
217      nil)
218    
219    (deftest subtypep.member.43
220      (check-equivalence
221       '(and (not (member a g b k e)) (not (member b h k c f)))
222       '(not (member c b k a e f g h)))
223      nil)
224    
225    (deftest subtypep.member.44
226      (check-equivalence
227       '(and (integer 0 30) (not (member 3 4 5 9 10 11 17 18 19)))
228       '(or (integer 0 2) (integer 6 8) (integer 12 16) (integer 20 30)))
229      nil)

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

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