12:58:41puchaczhi, out of curiosity - does vector-pop reclaim memory for indices > fill-pointer?
12:59:56puchaczclhs is silent on this, gigamonkey wrote in his book that vectors "shrink" but not sure
13:04:41scymtymclhs for AREF says "aref ignores fill pointers. It is permissible to use aref to access any array element, whether active or not." where being active means having an index between the fill-pointer and the length of the vector
13:08:20puchaczso I can shrink vectors in all lisps :)
13:09:02scymtymthe standard doesn't say that memory is released, though
13:09:20scymtymbut all of this is not SBCL-specific
13:10:51puchaczscymtym: I would assume that mature lisps reclaim it
13:11:45puchaczwhat is important for me is that adjust-array is guaranteed not to create new array if :adjustable t and it leaves the door open for memory reclaiming