That can't be right - in that case the parenthesis are redundant. It's only when non-redundant parentheses are not reproduced that we have a bug in linear representation.
That said, if I am understanding this thread, the top-level parenthesis around any sub-expression to the left of an unknown adverb or conjunction (or to the left of any parenthesized expression which contains an unknown adverb or conjunction) when building a linear representation must be considered non-redundant because you don't know what grammar the expression will be used in. This, in turn, suggests that those parenthesis are not the responsibility of the code representing the sub-expression itself (because they are not redundant there), but in the code which assembles that representation into the larger expression. I haven't looked at the implementation though - so it's possible that actually implementing this concept would require a major restructuring or rewrite of some sort. Thanks, -- Raul On Fri, Dec 7, 2018 at 11:02 AM Henry Rich <[email protected]> wrote: > > Here is a simpler form of the bug: > > v =. (1 0$'') . > > 5!:5 <'v' > > 1 0$'' . > > > Henry Rich > > > > On 12/7/2018 10:28 AM, Jose Mario Quintana wrote: > > That is a consequence of the issue (missing parentheses?), > > > > v=. (<(<,':'),<(<(,'0');1),<(,'0');1 0$'') (1 : 'u u`:6`:6 y') > > > > type'v' > > ┌────┐ > > │verb│ > > └────┘ > > > > ". 'u=. ' , (5!:5)<'v' > > |syntax error > > | u=: <(<,':'),<(<(,'0');1),<(,'0');1 0$''(1 :'u u`:6`:6 y') > > > > > > > > > > On Thu, Dec 6, 2018 at 9:43 PM Henry Rich <[email protected]> wrote: > > > >> I don't see the bug. > >> > >> ,<(,'0');1 0$''(1 :'u u`:6`:6 y') > >> > >> is a verb, and the rest makes N V V N V, which is a syntax error. > >> > >> Henry Rich > >> > >> > >> On 12/6/2018 8:00 PM, Jose Mario Quintana wrote: > >>> I mentioned the bug in the Y combinator thread. This is a simple > >>> demonstration, > >>> > >>> (<(<,':'),<(<(,'0');1),<(,'0');1 0$'') (1 : 'u u`:6`:6 y') > >>> <(<,':'),<(<(,'0');1),<(,'0');1 0$'' (1 : 'u u`:6`:6 y') > >>> > >>> <(<,':'),<(<(,'0');1),<(,'0');1 0$'' (1 : 'u u`:6`:6 y') > >>> |syntax error > >>> | <(<,':'),<(<(,'0');1),<(,'0');1 0$''(1 :'u u`:6`:6 y') > >>> > >>> JVERSION > >>> Engine: j807/j64/windows > >>> Release: commercial/2018-10-05T10:39:42 > >>> Library: 8.07.18 > >>> Qt IDE: 1.7.9s/5.9.6 > >>> Platform: Win 64 > >>> Installer: J807 install > >>> InstallPath: c:/program files/j64-807 > >>> Contact: www.jsoftware.com > >>> ---------------------------------------------------------------------- > >>> For information about J forums see http://www.jsoftware.com/forums.htm > >> > >> --- > >> 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 > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
