On Tue, Apr 12, 2011 at 2:24 PM, <[email protected]> wrote: > Raul Miller wrote: > RM> The dictionary says that u/y inserts u between the items of y. For the > RM> case where 1=#y there is only one item of y and so there is no place > RM> to insert u, so u is inserted nowhere. That, to me, is common sense, > > I guess nobody here in this thread has any problems to find/accept > this possible interpretation of the DoJ's silence on the 1=#y case. > We differ whether this interpretation is really the only one possible.
Ok. Except, I have asked for alternative proposals which are consistent with the dictionary. And I have been asking for viable alternatives. I have not seen any proposals, yet, which do not conflict with the dictionary. > RM> and the implementation of J seems to back me up on this issue. > > It backs all of us up what could be made more explicit. That is all Boyko > is asking for, and I agree with him that it should be. I would not object to a "more explicit" document, but I am not about to write one, myself. I would also classify this as a "might be nice" rather than a "should be". And it would have a lot of ground to cover, not just this one issue. It's a daunting task. > Note: it would be a mere 1-line change to ar.c to make u/ respond with > DOMAIN ERROR in the 1=#y case. That conflicts with the examples at http://www.jsoftware.com/help/dictionary/d430.htm (And, it would also break other examples in the dictionary.) -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
