The user can't change the format of the error display.
With an error you have to indicate where the error is, which JE does by
inserting 3 spaces. That in turn means that the user's formatting must
be destroyed.
However, we could maybe put 1 space instead of 0 between primitives. I
personally would find that easier to read.
HOWEVER, since the error message is available to user code, this would
be a non-compatible change. We would need an outpouring of piteous
entreaties before contemplating that.
Henry Rich
On 12/10/2021 12:25 PM, Hauke Rehr wrote:
Maybe it is not the best default choice for form of display in errors?
The user can be blamed once she changes the form of display;
the default form shouldn’t be misleading but very explicit imo.
Am 10.12.21 um 17:15 schrieb Henry Rich:
Now that I look into it, the error display of } }: as }}: is correct,
because the error display removes all unnecessary blanks and }}: is
two words.
A display that fools RE, Raul, and me has got to be considered
misleading, but I don't see what to do about it except be ready for
next time.
Henry Rich
On 12/10/2021 10:59 AM, Raul Miller wrote:
I was confused for a moment when you said "The linear display of ({:}
}:) is wrong."
But then I saw that you meant the linear display of ({:} }) in the
error message for ({:} })t
It can also be instructive to try that expression:
9!:3(5)
({:}}:)
{:} }:
In other words, in the current version of J, at least, when there's no
opening {{ a }} pair is not treated as a delimiter.
That's arguably for the best. (Though for old J hands, it also
suggests that smiley/frowny delimiters -- in other words (: ): --
might have been more comfortable for us.)
Thanks,
--
This email has been checked for viruses by AVG.
https://www.avg.com
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm