Python pretty-printing [5/6]

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Tom> It adds a new "/r" ("raw") option to the print command family.

Eli> But this change in behavior is not documented in the docs patch,
Eli> right?

Thanks, I forgot to merge that hunk.
It will show up in the next revision of this patch.

Tom> +A pretty-printer is an object that implements a specific interface.
Tom> +There is no predefined base class for pretty-printers.

Eli> Is it possible to expand this a bit?

I added a real-world example here.

Tom> Then @value{GDBN} prints this value; this may possibly
Tom> +result in a call to another pretty-printer.  If the result is not
Tom> +convertible to @code{gdb.Value}, an exception is raised.

Eli> Should we say what exception is raised?

For the time being I would rather not.  I think we will probably
introduce our own exception types at some point, so I'd rather not
make a promise here.

Tom