14 |
|
|
15 |
(deftest copy-seq.2 |
(deftest copy-seq.2 |
16 |
(let* ((s1 '(a b c)) |
(let* ((s1 '(a b c)) |
17 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
18 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
19 |
(equalt s1 s2))) |
(equalt s1 s2))) |
20 |
t) |
t) |
21 |
|
|
22 |
(deftest copy-seq.3 |
(deftest copy-seq.3 |
23 |
(let* ((s1 #(a b c)) |
(let* ((s1 #(a b c)) |
24 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
25 |
(and (not (eql s1 s2)) s2)) |
(and (not (eql s1 s2)) s2)) |
26 |
#(a b c)) |
#(a b c)) |
27 |
|
|
28 |
(deftest copy-seq.4 |
(deftest copy-seq.4 |
29 |
(let* ((s1 (make-array '(4) :initial-contents '(a b c d) |
(let* ((s1 (make-array '(4) :initial-contents '(a b c d) |
30 |
:adjustable t)) |
:adjustable t)) |
31 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
32 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
33 |
(simple-vector-p s2) |
(simple-vector-p s2) |
34 |
s2)) |
s2)) |
38 |
(deftest copy-seq.5 |
(deftest copy-seq.5 |
39 |
(let* ((s1 (make-array '(4) :initial-contents '(a b c d) |
(let* ((s1 (make-array '(4) :initial-contents '(a b c d) |
40 |
:fill-pointer 3)) |
:fill-pointer 3)) |
41 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
42 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
43 |
(simple-vector-p s2) |
(simple-vector-p s2) |
44 |
s2)) |
s2)) |
48 |
(let* ((a1 (make-array '(6) :initial-contents '(a b c d e f))) |
(let* ((a1 (make-array '(6) :initial-contents '(a b c d e f))) |
49 |
(a2 (make-array '(4) :displaced-to a1 |
(a2 (make-array '(4) :displaced-to a1 |
50 |
:displaced-index-offset 1)) |
:displaced-index-offset 1)) |
51 |
(s2 (copy-seq a2))) |
(s2 (check-values (copy-seq a2)))) |
52 |
(and (not (eql a2 s2)) |
(and (not (eql a2 s2)) |
53 |
(simple-vector-p s2) |
(simple-vector-p s2) |
54 |
s2)) |
s2)) |
59 |
:element-type 'base-char |
:element-type 'base-char |
60 |
:initial-contents '(#\a #\b #\c #\d) |
:initial-contents '(#\a #\b #\c #\d) |
61 |
:adjustable t)) |
:adjustable t)) |
62 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
63 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
64 |
(simple-string-p s2) |
(simple-string-p s2) |
65 |
s2)) |
s2)) |
71 |
:element-type 'base-char |
:element-type 'base-char |
72 |
:initial-contents '(#\a #\b #\c #\d) |
:initial-contents '(#\a #\b #\c #\d) |
73 |
:fill-pointer 3)) |
:fill-pointer 3)) |
74 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
75 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
76 |
(simple-string-p s2) |
(simple-string-p s2) |
77 |
s2)) |
s2)) |
83 |
(a2 (make-array '(4) :displaced-to a1 |
(a2 (make-array '(4) :displaced-to a1 |
84 |
:element-type 'base-char |
:element-type 'base-char |
85 |
:displaced-index-offset 1)) |
:displaced-index-offset 1)) |
86 |
(s2 (copy-seq a2))) |
(s2 (check-values (copy-seq a2)))) |
87 |
(and (not (eql a2 s2)) |
(and (not (eql a2 s2)) |
88 |
(simple-string-p s2) |
(simple-string-p s2) |
89 |
s2)) |
s2)) |
91 |
|
|
92 |
(deftest copy-seq.10 |
(deftest copy-seq.10 |
93 |
(let*((s1 "abcd") |
(let*((s1 "abcd") |
94 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
95 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
96 |
s2)) |
s2)) |
97 |
"abcd") |
"abcd") |
98 |
|
|
99 |
(deftest copy-seq.11 |
(deftest copy-seq.11 |
100 |
(let* ((s1 #*0010110) |
(let* ((s1 #*0010110) |
101 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
102 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
103 |
(simple-bit-vector-p s2) |
(simple-bit-vector-p s2) |
104 |
s2)) |
s2)) |
108 |
(let* ((s1 (make-array '(4) :initial-contents '(0 0 1 0) |
(let* ((s1 (make-array '(4) :initial-contents '(0 0 1 0) |
109 |
:element-type 'bit |
:element-type 'bit |
110 |
:adjustable t)) |
:adjustable t)) |
111 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
112 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
113 |
(simple-bit-vector-p s2) |
(simple-bit-vector-p s2) |
114 |
s2)) |
s2)) |
118 |
(let* ((s1 (make-array '(4) :initial-contents '(0 0 1 0) |
(let* ((s1 (make-array '(4) :initial-contents '(0 0 1 0) |
119 |
:element-type 'bit |
:element-type 'bit |
120 |
:fill-pointer 3)) |
:fill-pointer 3)) |
121 |
(s2 (copy-seq s1))) |
(s2 (check-values (copy-seq s1)))) |
122 |
(and (not (eql s1 s2)) |
(and (not (eql s1 s2)) |
123 |
(simple-bit-vector-p s2) |
(simple-bit-vector-p s2) |
124 |
s2)) |
s2)) |
130 |
(a2 (make-array '(4) :displaced-to a1 |
(a2 (make-array '(4) :displaced-to a1 |
131 |
:displaced-index-offset 1 |
:displaced-index-offset 1 |
132 |
:element-type 'bit)) |
:element-type 'bit)) |
133 |
(s2 (copy-seq a2))) |
(s2 (check-values (copy-seq a2)))) |
134 |
(and (not (eql a2 s2)) |
(and (not (eql a2 s2)) |
135 |
(simple-bit-vector-p s2) |
(simple-bit-vector-p s2) |
136 |
s2)) |
s2)) |
150 |
|
|
151 |
(deftest copy-seq.18 |
(deftest copy-seq.18 |
152 |
(let* ((x (make-array '(10) :initial-contents '(a b c d e f g h i j))) |
(let* ((x (make-array '(10) :initial-contents '(a b c d e f g h i j))) |
153 |
(y (copy-seq x))) |
(y (check-values (copy-seq x)))) |
154 |
(equal-array x y)) |
(equal-array x y)) |
155 |
t) |
t) |
156 |
|
|