154 |
(setf z (incf i))) |
(setf z (incf i))) |
155 |
(progn (setf w (incf i)) 3)) |
(progn (setf w (incf i)) 3)) |
156 |
;; Must check that only a, b, c have properties |
;; Must check that only a, b, c have properties |
157 |
(and |
(values |
158 |
(eqlt i 4) |
i x y z w |
159 |
(eqlt x 1) |
(getf (car p) 'a) |
160 |
(eqlt y 2) |
(getf (car p) 'b) |
161 |
(eqlt z 3) |
(getf (car p) 'c) |
162 |
(eqlt w 4) |
(loop for ptr on (car p) by #'cddr count |
163 |
(eqlt (getf (car p) 'a) 1) |
(not (member (car ptr) '(a b c)))))) |
164 |
(eqlt (getf (car p) 'b) 2) |
4 1 2 3 4 1 2 3 0) |
|
(eqlt (getf (car p) 'c) 3) |
|
|
(eqlt |
|
|
(loop |
|
|
for ptr on (car p) by #'cddr count |
|
|
(not (member (car ptr) '(a b c)))) |
|
|
0) |
|
|
t)) |
|
|
t) |
|
165 |
|
|
166 |
(deftest incf-getf.1 |
(deftest incf-getf.1 |
167 |
(let ((p (copy-list '(a 1 b 2)))) |
(let ((p (copy-list '(a 1 b 2)))) |