/[gcl]/gcl/ansi-tests/vector.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/vector.lsp

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

revision 1.2 by pfdietz, Fri Jan 24 02:12:45 2003 UTC revision 1.3 by pfdietz, Fri Jan 24 13:55:10 2003 UTC
# Line 126  Line 126 
126  (deftest vector.type.30  (deftest vector.type.30
127    (typep "abcde" '(vector t *))    (typep "abcde" '(vector t *))
128    nil)    nil)
129    
130    (deftest vector.type.31
131      (let ((s (coerce "abc" 'simple-base-string)))
132        (notnot-mv (typep s '(vector base-char))))
133      t)
134    
135    (deftest vector.type.32
136      (let ((s (coerce "abc" 'simple-base-string)))
137        (notnot-mv (typep s '(vector base-char 3))))
138      t)
139    
140    (deftest vector.type.33
141      (let ((s (coerce "abc" 'simple-base-string)))
142        (typep s '(vector base-char 2)))
143      nil)
144    
145    (deftest vector.type.34
146      (let ((s (coerce "abc" 'simple-base-string)))
147        (typep s '(vector base-char 4)))
148      nil)
149    
150    (deftest vector.type.35
151      (let ((s (coerce "abc" 'simple-base-string)))
152        (notnot-mv (typep s 'vector)))
153      t)
154    
155    (deftest vector.type.36
156      (let ((s (coerce "abc" 'simple-base-string)))
157        (notnot-mv (typep s '(vector *))))
158      t)
159    
160    (deftest vector.type.37
161      (let ((s (coerce "abc" 'simple-base-string)))
162        (notnot-mv (typep s '(vector * 3))))
163      t)
164    
165    (deftest vector.type.38
166      (let ((s (coerce "abc" 'simple-base-string)))
167        (notnot-mv (typep s '(vector * *))))
168      t)
169    
170    (deftest vector.type.39
171      (let ((s (coerce "abc" 'simple-base-string)))
172        (typep s '(vector t)))
173      nil)
174    
175    (deftest vector.type.40
176      (let ((s (coerce "abc" 'simple-base-string)))
177        (typep s '(vector t *)))
178      nil)
179    
180    ;;;; Tests of the function VECTOR
181    
182    (deftest vector.1
183      (vector)
184      #())
185    
186    (deftest vector.2
187      (vector 1 2 3)
188      #(1 2 3))
189    
190    (deftest vector.3
191      (let* ((len (min 1000 (1- call-arguments-limit)))
192             (args (make-int-list len))
193             (v (apply #'vector args)))
194        (and
195         (typep v '(vector t))
196         (typep v '(vector t *))
197         (typep v `(vector t ,len))
198         (typep v 'simple-vector)
199         (typep v `(simple-vector ,len))
200         (eql (length v) len)
201         (loop for i from 0
202               for e across v
203               always (eql i e))
204         t))
205      t)
206    
207    (deftest vector.4
208      (notnot-mv (typep (vector) '(vector t 0)))
209      t)
210      
211    (deftest vector.5
212      (notnot-mv (typep (vector) 'simple-vector))
213      t)
214      
215    (deftest vector.6
216      (notnot-mv (typep (vector) '(simple-vector 0)))
217      t)
218      
219    (deftest vector.7
220      (notnot-mv (typep (vector 1 2 3) 'simple-vector))
221      t)
222      
223    (deftest vector.8
224      (notnot-mv (typep (vector 1 2 3) '(simple-vector 3)))
225      t)
226    
227    (deftest vector.9
228      (typep (vector #\a #\b #\c) 'string)
229      nil)

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

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