444: Add vector-append procedure

What the summary says. This is for completeness with append and append-string, and is useful for the reconstruction phase of divide-and-conquer algorithms on vectors. See #436 for the Formal Comment that triggered this ticket.

cowan

2012-07-02 06:46:06

summaryAdd append-vector and append-string proceduresAdd append-vector procedures

descriptionWhat the summary says. These are for completeness. See #436 for the Formal Comment that triggered this ticket.What the summary says. These are for completeness with `append` and `append-string`. See #436 for the Formal Comment that triggered this ticket.

cowan

2012-07-03 10:08:21

summaryAdd append-vector proceduresAdd vector-append procedure

descriptionWhat the summary says. These are for completeness with `append` and `append-string`. See #436 for the Formal Comment that triggered this ticket.What the summary says. This is for completeness with `append` and `append-string`, and is useful for the reconstruction phase of divide-and-conquer algorithms on vectors. See #436 for the Formal Comment that triggered this ticket.

cowan

2012-08-27 01:33:51

statusnewdecided

WG1 voted to add this procedure.

cowan

2012-08-27 04:51:29

owneralexshinncowan

statusdecidedwriting

cowan

2012-10-09 21:55:08

resolution␣fixed

statuswritingclosed

Ticket 444: Add vector-append procedure