[Bug python/18280] pointer values returned from pretty-printers are not printed

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=18280

--- Comment #3 from Tom Tromey <tromey at sourceware dot org> ---
This behavior seems intentional, so one good step would be to document it.

See also bug 12918.  Pretty-printers have to be able to control a bit
more of gdb's built-in behavior.

Perhaps printers could wrap results in some kind of print-control object.

-- 
You are receiving this mail because:
You are on the CC list for the bug.