I wrote: > It seems to me that *width* should not be a global variable, but rather > a per-repl setting. It probably belongs in the options field of the > <repl> record, no? See "repl-default-options" in repl/common.scm.
Better yet, maybe it should be an optional attribute of the output port,
which would allow pretty-print and truncated-print to use it as well.
Output ports attached to terminals could determine the terminal width
from the OS, on systems that support it.
What do you think?
Mark
