379 |
(assert (char= (elt s 4) #\e))) |
(assert (char= (elt s 4) #\e))) |
380 |
nil) |
nil) |
381 |
|
|
382 |
|
;;; Specialized integer vectors |
383 |
|
|
384 |
|
(deftest elt.special-vectors.1 |
385 |
|
(do-special-integer-vectors |
386 |
|
(v #(1 1 0 1 0 1) nil) |
387 |
|
(assert (= (elt v 0) 1)) |
388 |
|
(assert (= (elt v 1) 1)) |
389 |
|
(assert (= (elt v 2) 0)) |
390 |
|
(assert (= (elt v 3) 1)) |
391 |
|
(assert (= (elt v 4) 0)) |
392 |
|
(assert (= (elt v 5) 1))) |
393 |
|
nil) |
394 |
|
|
395 |
|
(deftest elt.special-vectors.2 |
396 |
|
(do-special-integer-vectors |
397 |
|
(v #(1 2 0 -1 0 3) nil) |
398 |
|
(assert (= (elt v 0) 1)) |
399 |
|
(assert (= (elt v 1) 2)) |
400 |
|
(assert (= (elt v 2) 0)) |
401 |
|
(assert (= (elt v 3) -1)) |
402 |
|
(assert (= (elt v 4) 0)) |
403 |
|
(assert (= (elt v 5) 3))) |
404 |
|
nil) |
405 |
|
|
406 |
|
(deftest elt.special-vectors.3 |
407 |
|
(loop for type in '(short-float single-float long-float double-float) |
408 |
|
for len = 10 |
409 |
|
for vals = (loop for i from 1 to len collect (coerce i type)) |
410 |
|
for vec = (make-array len :element-type type :initial-contents vals) |
411 |
|
unless (loop for i below len always (eql (elt vec i) |
412 |
|
(coerce (1+ i) type))) |
413 |
|
collect (list type vals vec)) |
414 |
|
nil) |
415 |
|
|
416 |
|
(deftest elt.special-vectors.4 |
417 |
|
(loop for etype in '(short-float single-float long-float double-float |
418 |
|
integer rational) |
419 |
|
for type = `(complex ,etype) |
420 |
|
for len = 10 |
421 |
|
for vals = (loop for i from 1 to len collect (complex (coerce i etype) |
422 |
|
(coerce (- i) etype))) |
423 |
|
for vec = (make-array len :element-type type :initial-contents vals) |
424 |
|
unless (loop for i below len always (eql (elt vec i) |
425 |
|
(elt vals i))) |
426 |
|
collect (list type vals vec)) |
427 |
|
nil) |
428 |
|
|
429 |
|
|
430 |
|
|
431 |
;;; Error tests |
;;; Error tests |
432 |
|
|
433 |
(deftest elt.error.1 |
(deftest elt.error.1 |