/[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.17 by pfdietz, Wed Feb 26 13:58:00 2003 UTC revision 1.18 by pfdietz, Thu Feb 27 02:54:58 2003 UTC
# Line 132  Line 132 
132    nil)    nil)
133    
134  (deftest subtypep.and.1  (deftest subtypep.and.1
135    (loop    (loop for type in *types-list3*
136     for typelist in *disjoint-types-list2*          append (check-equivalence `(and ,type ,type) type))
    append (loop for type in typelist  
                 append (check-equivalence `(and ,type ,type) type)))  
137    nil)    nil)
138    
139  (deftest subtypep.or.1  (deftest subtypep.or.1
140    (loop    (loop for type in *types-list3*
141     for typelist in *disjoint-types-list2*          append (check-equivalence `(or ,type ,type) type))
    append (loop for type in typelist  
                 append (check-equivalence `(or ,type ,type) type)))  
142    nil)    nil)
143    
144  (deftest subtypep.and.2  (deftest subtypep.and.2
# Line 152  Line 148 
148  (deftest subtypep.or.2  (deftest subtypep.or.2
149    (check-equivalence nil '(or))    (check-equivalence nil '(or))
150    nil)    nil)
151    
152    (deftest subtypep.and.3
153      (loop for type in *types-list3*
154            append (check-equivalence `(and ,type) type))
155      nil)
156    
157    (deftest subtypep.or.3
158      (loop for type in *types-list3*
159            append (check-equivalence `(or ,type) type))
160      nil)
161    
162    (deftest subtypep.and.4
163      (let* ((n (length *types-list3*))
164             (a (make-array n :initial-contents *types-list3*)))
165        (trim-list
166         (loop for i below 1000
167               for tp1 = (aref a (random n))
168               for tp2 = (aref a (random n))
169               append (check-equivalence `(and ,tp1 ,tp2)
170                                         `(and ,tp2 ,tp1)))
171         100))
172      nil)
173    
174    (deftest subtypep.or.4
175      (let* ((n (length *types-list3*))
176             (a (make-array n :initial-contents *types-list3*)))
177        (trim-list
178         (loop for i below 1000
179               for tp1 = (aref a (random n))
180               for tp2 = (aref a (random n))
181               append (check-equivalence `(or ,tp1 ,tp2)
182                                         `(or ,tp2 ,tp1)))
183         100))
184      nil)
185    

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

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