The original intent of 13 : y was good, translating from explicit to tacit, and it's a relatively simple task. The objective soon got subverted (by me) into making it produce results that can compete with the best that a human writer (me) can do, and that is difficult and complicated. The fix now, as someone has already suggested, is to strip out any unnecessary stuff. When I get a spare day or two (ha!) I will do this, unless someone beats me to it in the meanwhile.
x -> [ y -> ] root function monadic -> [: f exp root function dyadic -> exp0 f exp1 On Fri, Mar 30, 2012 at 8:33 AM, Marshall Lochbaum <mwlochb...@gmail.com> wrote: > Just to let everyone know, I've found the problem: in line 88 of pv.c, > there's a line using swapc that should only use swap in some cases. This > makes it so that > 13 :'y+x' > +~ > but it's an improvement for the present. > > Marshall > > On Tue, Mar 20, 2012 at 9:12 AM, Raul Miller <rauldmil...@gmail.com> wrote: > >> On Tue, Mar 20, 2012 at 12:35 AM, Edward Mokurai Cherlin >> <moku...@sugarlabs.org> wrote: >> > On Mon, March 19, 2012 4:10 pm, Raul Miller wrote: >> >> If I am right, the simple solution would be to remove that >> >> simplification when the arguments are not available (which might be >> >> always). >> > >> > But the problem occurs precisely when the arguments are available, as >> > in 'y+y' or 'y+x'. >> >> Available to 13 : does not mean available to some implementation >> routine which processes fragments of intermediate results within 13 : >> >> Specifically: while we can hypothesize that such information should be >> made avaialble, I currently have no idea how much code would have to >> be changed to actually make it available. >> >> -- >> Raul >> ---------------------------------------------------------------------- >> 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
