This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]