[PATCH, doc RFA] PR guile/17177: replace *pretty-printers*
Sun Jul 27 04:24:00 GMT 2014
email@example.com (Ludovic Courtès) writes:
> Doug Evans <firstname.lastname@example.org> 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.
Committed to trunk and 7.8 branch.
More information about the Gdb-patches