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

Doug Evans xdje42@gmail.com
Sun Jul 27 04:24:00 GMT 2014


ludo@gnu.org (Ludovic Courtès) writes:
> 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’.

Committed to trunk and 7.8 branch.



More information about the Gdb-patches mailing list