Question about loop



Does the Common Lisp spec say anything about whether the following is well defined given that the elements of "list" are unique:

(loop for x in list
when (p x)
do (setq list (delete x list)))

-- Jeff Barnett
.