I think you did not carefully examine my text. There is an internal
error which J disregards. The exception handler returns an empty of the
expected type. /Erling
On 2017-12-16 01:03, Raul Miller wrote:
I've been thinking about this, and I am slightly convinced.
That said, I would be interested in seeing a real example where this matters.
Specifically: in this example you are getting an empty noun with a
rank lower than what you should otherwise expect.
That suggests one of two likely treatments:
(a) The unintended shape causes an error.
(b) The unintended shape gets treated as an empty result.
(If the programmer has been coding defensively (which is to say not
expecting deep understanding of the mechanisms of connected
components) then I do not see how your proposal changes the picture.)
It could of course - but that's why I'd like to see a real example.
(Of course, none of this is an excuse for not testing code against
boundary conditions.)
Thanks,
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
