<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Fri, 9 Feb 2018 at 13:20, David Vandevoorde <<a href="mailto:daveed@edg.com">daveed@edg.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">That looks really good to me. (I particularly like giving teeth to the pseudo-destructor calls.)<br>
<br>
<br>
Where is says:<br>
<br>
Within the implementation of vector, some storage is allocated to hold an array of up to 5 ints.<br>
<br>
should that be “4 ints” (or did you mean to call vi.reserve(5))? Or am I completely misunderstanding?<br></blockquote><div><br></div><div>That's a typo, faithfully preserved from the previous revision of the paper :) Will be fixed for the mailing version. Thanks!</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Daveed<br>
<br>
<br>
<br>
> On Feb 9, 2018, at 2:52 PM, Richard Smith <<a href="mailto:richardsmith@google.com" target="_blank">richardsmith@google.com</a>> wrote:<br>
><br>
> Hi all,<br>
><br>
> Please find attached a revised version of P0593 based on the excellent discussion and feedback at the Albuquerque meeting. Please let me know if you have any comments; I believe our plan was to discuss this again at Jacksonville, and all being well, to forward it to EWG at that meeting.<br>
><br>
> Best regards,<br>
> Richard<br>
> <d0593r2.html>_______________________________________________<br>
> ub mailing list<br>
> <a href="mailto:ub@isocpp.open-std.org" target="_blank">ub@isocpp.open-std.org</a><br>
> <a href="http://www.open-std.org/mailman/listinfo/ub" rel="noreferrer" target="_blank">http://www.open-std.org/mailman/listinfo/ub</a><br>
<br>
_______________________________________________<br>
ub mailing list<br>
<a href="mailto:ub@isocpp.open-std.org" target="_blank">ub@isocpp.open-std.org</a><br>
<a href="http://www.open-std.org/mailman/listinfo/ub" rel="noreferrer" target="_blank">http://www.open-std.org/mailman/listinfo/ub</a><br>
</blockquote></div></div>