dje42 / gdb

various gdb patches, extensions
GNU General Public License v2.0
1 stars 0 forks source link

[gdb-guile] throw exception if pretty-printer with same name already exists #22

Open dje42 opened 10 years ago

dje42 commented 10 years ago

Having multiple printers with the same name is problematic.

Search order is important, so while IWBN to only keep pretty-printers in a hash table, we need to search them in a particular order.

Possibility: Add #:replace to {prepend,append}-pretty-printer, and if #f flag an error if printer of same name already exists.