The actual conjunction used the u and v parameters. I was trying to reduce it to the simplest example, and I wasn't sure if removing them entirely would cause an error.
Here's the functioning code if you're curious: http://pastebin.com/RjQA69j6 - Max On Sat, Jul 7, 2012 at 8:11 PM, Linda Alvord <lindaalv...@verizon.net>wrote: > toy2 =: 2 : 0 > : > x + y > ) > 5 toy2 7 > 12 > 5 [ toy2 ] 7 > 12 > > toy2 > 2 : 'x + y' > > I'm not sure what toy has proved if toy2 does the same thing. > > Linda > > -----Original Message----- > From: programming-boun...@jsoftware.com [mailto: > programming-boun...@jsoftware.com] On Behalf Of Max Harms > Sent: Saturday, July 07, 2012 4:43 PM > To: Programming forum > Subject: Re: [Jprogramming] Domain error for explicit conjunction > > Oh. My. Zeus. > > Turns out it works iff the colon is the first character on the line > *including whitespace*. When I was writing it I was tabbing-in, and thus it > was breaking. >_< > > Thanks a bunch, :) > - Max > > On Sat, Jul 7, 2012 at 4:12 PM, Henry Rich <henryhr...@nc.rr.com> wrote: > > > Here's a session log > > > > toy =: 2 : 0 > > : > > z =: u v '' > > x + y > > ) > > [ toy ] > > [ (2 : 0) ] > > : > > z=:u v'' > > x+y > > ) > > 5 [ toy ] 7 > > 12 > > > > You gotta put in the colon : > > > > Henry Rich > > > > On 7/7/2012 3:18 PM, Max Harms wrote: > > > Tried it. Didn't work. Same result. (Perhaps because I'm using 701?) > > > > > > - Max > > > > > > On Sat, Jul 7, 2012 at 3:12 PM, Henry Rich <henryhr...@nc.rr.com> > wrote: > > > > > >> You defined a conjunction that produces only a monadic valence. > > >> Try > > >> > > >> toy =: 2 : 0 > > >> : > > >> z =: u v '' > > >> x + y > > >> ) > > >> > > >> Henry Rich > > >> > > >> On 7/7/2012 2:38 PM, Max Harms wrote: > > >>> toy =: 2 : 0 > > >>> z =: u v '' > > >>> x + y > > >>> ) > > >> > > >> ------------------------------------------------------------------- > > >> --- 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 > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm