[PATCH] Make StdVectorPrinter in printers.py compatible with ddd

[Jonathan Wakely]

On 24 March 2011 17:51, Hans Erickson wrote:
> The current version of to_string in StdVectorPrinter uses an embedded
> comma, which messes up the parsing done by ddd, and maybe other gdb
> front-ends as well.  This patch changes the format so that ddd can
> parse it.

Thanks, Hans, I tested the patch briefly and have no objections to the
change.  Putting the capacity in parentheses is consistent with how we
display the reference count for shared_ptr, and how I plan to display
some metadata for std::future and related classes.

If noone else objects I'll commit it to trunk in a day or two.

(N.B. patches for libstdc++ should be sent to this list and
gcc-patches@gcc.gnu.org)