Re: Something like vector-grow available?

[Jim Blandy <jimb@red-bean.com>]

> is there an easy way to grow a vector dynamically?  At the moment I
> allocate a new one and copy all elements to this new vector.
> 
> Is there a more elegant solution? 

I'm not sure how I feel about vector-grow.  It seems to me that, in a
multi-threaded system, if the address of the vector's elements can
change, then you have to acquire a lock for every access to a vector
element, if you want to preserve the obvious semantics.  Maybe someone
else has better ideas on how to implement this.