/[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.1 by pfdietz, Sat Feb 15 18:04:16 2003 UTC revision 1.2 by pfdietz, Fri Feb 21 00:56:39 2003 UTC
# Line 8  Line 8 
8  ;;; SUBTYPEP on MEMBER types  ;;; SUBTYPEP on MEMBER types
9    
10  (deftest subtypep.member.1  (deftest subtypep.member.1
11    (subtypep*-or-fail '(member a b c) '(member a b c d))    (check-all-subtypep '(member a b c) '(member a b c d))
12    t)    nil)
13    
14  (deftest subtypep.member.2  (deftest subtypep.member.2
15    (subtypep*-not-or-fail '(member a b c) '(member a b))    (check-all-not-subtypep '(member a b c) '(member a b))
16    t)    nil)
17    
18  (deftest subtypep.member.3  (deftest subtypep.member.3
19    (check-equivalence '(member) nil)    (check-equivalence '(member) nil)
20    nil)    nil)
21    
22  (deftest subtypep.member.4  (deftest subtypep.member.4
23    (subtypep*-or-fail '(eql b) '(member a b c))    (check-all-subtypep '(eql b) '(member a b c))
24    t)    nil)
25    
26  (deftest subtypep.member.5  (deftest subtypep.member.5
27    (subtypep*-or-fail '(member a b c d e) 'symbol)    (check-all-subtypep '(member a b c d e) 'symbol)
28    t)    nil)
29    
30  (deftest subtypep.member.6  (deftest subtypep.member.6
31    (subtypep*-not-or-fail '(member a b 10 d e) 'symbol)    (check-all-not-subtypep '(member a b 10 d e) 'symbol)
32    t)    nil)
33    
34  (deftest subtypep.member.7  (deftest subtypep.member.7
35    (subtypep*-or-fail 'null '(member a b nil c d e))    (check-all-subtypep 'null '(member a b nil c d e))
36    t)    nil)
37    
38  (deftest subtypep.member.8  (deftest subtypep.member.8
39    (subtypep*-not-or-fail 'null '(member a b c d e))    (check-all-not-subtypep 'null '(member a b c d e))
40    t)    nil)
41    
42  (deftest subtypep.member.9  (deftest subtypep.member.9
43    (let ((b1 (1+ most-positive-fixnum))    (let ((b1 (1+ most-positive-fixnum))
44          (b2 (1+ most-positive-fixnum)))          (b2 (1+ most-positive-fixnum)))
45      (subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2)))      (check-all-subtypep `(member 10 ,b1 20) `(member 10 20 ,b2)))
46    t)    nil)
47    
48  (deftest subtypep.member.10  (deftest subtypep.member.10
49    (subtypep*-or-fail '(member :a :b :c) 'keyword)    (check-all-subtypep '(member :a :b :c) 'keyword)
50    t)    nil)
51    
52  (deftest subtypep.member.11  (deftest subtypep.member.11
53    (let ((b1 (copy-list '(a)))    (let ((b1 (copy-list '(a)))
54          (b2 (copy-list '(a))))          (b2 (copy-list '(a))))
55      (subtypep*-not-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2)))      (check-all-not-subtypep `(member 10 ,b1 20) `(member 10 20 ,b2)))
56    t)    nil)
57    
58  (deftest subtypep.member.12  (deftest subtypep.member.12
59    (let ((b1 '(a)))    (let ((b1 '(a)))
60      (subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b1)))      (check-all-subtypep `(member 10 ,b1 20) `(member 10 20 ,b1)))
61    t)    nil)
62    
63  (deftest subtypep.member.13  (deftest subtypep.member.13
64    (subtypep*-or-fail '(member 10 20 30) '(integer 0 100))    (check-all-subtypep '(member 10 20 30) '(integer 0 100))
65    t)    nil)
66    
67  (deftest subtypep.member.14  (deftest subtypep.member.14
68    (subtypep*-or-fail '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100))    (check-all-subtypep '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100))
69    t)    nil)
70    
71  (deftest subtypep.member.15  (deftest subtypep.member.15
72    (subtypep*-not-or-fail '(integer 3 6) '(member 0 1 2 3 5 6 7 8))    (check-all-not-subtypep '(integer 3 6) '(member 0 1 2 3 5 6 7 8))
73    t)    nil)
74    
75  (deftest subtypep.member.16  (deftest subtypep.member.16
76    (check-equivalence '(integer 2 5) '(member 2 5 4 3))    (check-equivalence '(integer 2 5) '(member 2 5 4 3))

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

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