[PATCH, doc RFA] PR guile/17177: replace *pretty-printers*

Ludovic Courtès ludo@gnu.org
Mon Jul 21 14:33:00 GMT 2014


Doug Evans <dje@google.com> skribis:

> Namely it replaces Guile global *pretty-printers*
> with two functions: pretty-printers, set-pretty-printers!.

Looks good to me.

‘pretty-printers’ could maybe eventually be made a SRFI-39 parameter
(info "(guile) Parameters"), which would be backward compatible in terms
of API.  That would allow for dynamically scoped changes to the pretty
printers, which might be useful in some cases.

Thanks,
Ludo’.



More information about the Gdb-patches mailing list