This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH, doc RFA] PR guile/17177: replace *pretty-printers*
- From: ludo at gnu dot org (Ludovic CourtÃs)
- To: Doug Evans <dje at google dot com>
- Cc: gdb-patches at sourceware dot org, eliz at gnu dot org
- Date: Mon, 21 Jul 2014 16:12:16 +0200
- Subject: Re: [PATCH, doc RFA] PR guile/17177: replace *pretty-printers*
- Authentication-results: sourceware.org; auth=none
- References: <yjt2lhrnoao4 dot fsf at ruffy dot mtv dot corp dot google dot com>
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â.