*print-right-margin* ineffective for write
Charles Turner
chturne@gmail.com
Thu Dec 1 21:02:00 GMT 2011
On 01/12/11 20:16, Taylor Venable wrote:
> *print-right-margin* affects file ports:
Whoops, sorry about that slice of misinformation! I got confused with
the various pretty printing modes in PrettyWriter. Somebody (I assume
Per) must have considered the issue, since there is an unused
constructor in PrettyWriter that sets the pretty printing mode to zero
if the given length length is <= 1, this idea just hasn't trickled into
some sort of dynamic handling for *print-right-margin*.
> I agree that negative values are good to identify when
> *print-right-margin* should be disabled; perhaps additionally:
>
> #f = disable (same as e.g. -1 or -42)
> #t = enable w/ hard-coded default (same as #!null)
I think that's sensible.
Thanks,
Charlie.
More information about the Kawa
mailing list