[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


re: Don't you want to say that it must be an adjustable array rather
    than (or perhaps in addition to) that it must be a fill pointer?

No.  It's perfectly acceptable to use VECTOR-PUSH-EXTEND with a non-adjustable
array.  It's the error-signalling property of VECTOR-PUSH-EXTEND, as opposed
to the "dropping on the floor" of VECTOR-PUSH, that motivated this proposal.

-- JonL --