> I don't know what the issues are in this particular case but,
> as a general principle, I don't like adding spaces in command
> line output if there is any danger that the extra width will trigger
> line wrapping.
I think if adding spaces pleases people's eyes, then we should do it.
There are
Martin Baker wrote:
>
> On 05/03/17 13:09, oldk1331 wrote:
> > The output of "[1,2]" is "[1,2]", I think adding a space
> > after a comma is better. And multiline list already does
> > this: [1,2,10^100].
>
> I don't know what the issues are in this particular case but, as a
> general
On 05/03/17 13:09, oldk1331 wrote:
The output of "[1,2]" is "[1,2]", I think adding a space
after a comma is better. And multiline list already does
this: [1,2,10^100].
I don't know what the issues are in this particular case but, as a
general principle, I don't like adding spaces in
The output of "[1,2]" is "[1,2]", I think adding a space
after a comma is better. And multiline list already does
this: [1,2,10^100].
--- a/src/interp/i-output.boot
+++ b/src/interp/i-output.boot
@@ -639,14 +639,14 @@
--% Aggregates
aggWidth u ==
- rest u is [a,:l] => WIDTH a + +/[1+WIDTH x
