That sounds plausible. And that's basically what these tests were testing before.
Ideally, whenever we find a bug, or whenever we add a feature, we add tests which illustrate the bug or the absence of the feature. These do not need to be huge - simple is good. Good tests help draw attention to things that need it, and get out of the way when they do not need it. Thanks, -- Raul On Mon, Mar 17, 2014 at 2:22 PM, Thomas Costigliola <[email protected]>wrote: > Perhaps > > s=. $: > ss=. $: 103!:0 > > >:@s f. > >:@($: (103!:0)) > > >:@ss f. > >:@($: (103!:0) (103!:0)) > > NB. A bug or a gnat? > > So we are reduced to > > s=: $: > f=.>:@s > g=.>:@($: 103!:0) > > f=.f f. > (5!:1 <'f') -: 5!:1 <'g' > 1 > > We are basically just telling ourselves that the feature is turned on. > > > > > On Mon, Mar 17, 2014 at 1:33 PM, Thomas Costigliola <[email protected] > >wrote: > > > They will fail and should actually be removed instead of commented out. > > Those tests were just checking that verbs containing $: that are fixed > are > > being properly wrapped in explicit definitions. They weren't executing > the > > verbs. > > > > Since verbs with $: that are fixed are no longer wrapped in explicit > > definitions but rather in 103!:0 those tests are obsolete. We need new > > tests for checking f. on verbs containing $: > > > > > > > > > > On Mon, Mar 17, 2014 at 1:07 PM, Raul Miller <[email protected] > >wrote: > > > >> I was referring to the line in recursion-scope-word-from-linear.patch > >> which > >> reads: > >> > >> +BORK=.0 : 0 NB. This stuff is obsoleted by 103!: > >> > >> This disables tests involving f. and $: > >> > >> I think this merits discussion. > >> > >> Thanks, > >> > >> -- > >> Raul > >> > >> p.s. here's the tests which get disabled: > >> > >> s =: $: > >> cap =: [: > >> > >> monad=: 3 : '$: y' > >> dyad =: 4 : 'x $: y' > >> ambi =: (3 : '$: y') : (4 : 'x $: y') > >> > >> eq=: 2 : 0 > >> f=: x f. > >> g=: y f. > >> assert. (5!:1 <'f') -: 5!:1 <'g' > >> 1 > >> ) > >> > >> >:@ s eq (>:@ ambi ) > >> >:@:s eq (>:@:ambi ) > >> >:@ s@ *: eq (>:@ monad@ *: ) > >> >:@:s@:*: eq (>:@:monad@:*: ) > >> s@ *: eq (monad@ *: ) > >> s@:*: eq (monad@:*: ) > >> s@ *:@ >: eq (monad@ *:@ >: ) > >> s@:*:@:>: eq (monad@:*:@:>: ) > >> > >> s & *: eq (ambi & *: ) > >> s &:*: eq (ambi &:*: ) > >> s & *:@>: eq (monad& *:@>: ) > >> *& s eq (* & monad ) > >> *&.s eq (* &.monad ) > >> *&:s eq (* &:monad ) > >> > >> s : + eq (monad : + ) > >> * : s eq (* : dyad ) > >> > >> s~ eq (dyad ~ ) > >> > >> s ;.1 eq ( monad ;. 1 ) > >> +&s;._3 eq (+&monad ;. _3 ) > >> > >> (+ s - ) eq (+ dyad - ) > >> ([: + s ) eq ([: + ambi) > >> ([: s - ) eq ([: monad - ) > >> (cap s - ) eq (cap monad - ) > >> (+ - s ) eq (+ - ambi) > >> (* : (+ - s) ) eq (* : (+ - dyad) ) > >> ((+ - s) : > ) eq ((+ - monad) : >) > >> > >> (+ s ) eq (+ monad ) > >> (s >: ) eq (dyad >: ) > >> (s/ ) eq (dyad / ) > >> (s/. ) eq (monad/. ) > >> (s\ ) eq (monad\ ) > >> (s\. ) eq (monad\. ) > >> > >> ( s`!`+@.] ) eq ( ambi `!`+@.] ) > >> ( ^`!`[email protected] ) eq ( ^ `!`[email protected] ) > >> (%&(s`!`+@.])) eq (%&(monad`!`+@.] ) ) > >> (%&(^`!`[email protected])) eq (%&(^ `!`[email protected]) ) > >> (s`!`+@.]@* ) eq ( monad`!`+@.] @ *) > >> (^`!`[email protected]@* ) eq ( ^ `!`[email protected]@ *) > >> > >> s"2@*: eq (monad"2@*: ) > >> s"2@*:@>: eq (monad"2@*:@>:) > >> s"2~ eq (dyad"2~ ) > >> (s"2 >: ) eq (dyad"2 >: ) > >> > >> > >> > >> > >> > >> > >> > >> On Mon, Mar 17, 2014 at 12:35 PM, Thomas Costigliola < > [email protected] > >> >wrote: > >> > >> > Raul, are you referring to the fact that it says "UNTESTED" next to > the > >> > downloads? > >> > > >> > They should pass the standard test suite. If I have time I will try to > >> > confirm that. If anyone else can confirm, that would be nice too. That > >> was > >> > put there more for an extra disclaimer so that when your computer > >> explodes > >> > we can say "I told you so". > >> > > >> > There are no official tests for the extensions yet but Pepe's session > >> could > >> > be the basis for testing their validity. > >> > > >> > Finally, if anyone has comments on the code they would are welcome. > >> > > >> > > >> > On Thu, Mar 13, 2014 at 7:40 PM, Raul Miller <[email protected]> > >> > wrote: > >> > > >> > > Why disable tests? > >> > > > >> > > Thanks, > >> > > > >> > > -- > >> > > Raul > >> > > > >> > > > >> > > > >> > > On Thu, Mar 13, 2014 at 6:39 PM, Jose Mario Quintana < > >> > > [email protected]> wrote: > >> > > > >> > > > Bill, > >> > > > > >> > > > The script and session associated with the Journal of J article > have > >> > been > >> > > > added to the page: > >> > > > > >> > > > http://www.2bestsystems.com/foundation/j/ > >> > > > > >> > > > > >> > > > Pascal, > >> > > > > >> > > > The kind of gerunds that you wanted to produce in > >> > > > > >> > > > >> > http://www.jsoftware.com/pipermail/programming/2014-February/034904.html > >> > : > >> > > > > >> > > > 3"_`(+:"_)` (-:"_) > >> > > > ┌─────────────────┬──────────────┬──────────────┐ > >> > > > │┌─┬─────────────┐│┌─┬──────────┐│┌─┬──────────┐│ > >> > > > ││"│┌─────┬─────┐│││"│┌──┬─────┐│││"│┌──┬─────┐││ > >> > > > ││ ││┌─┬─┐│┌─┬─┐││││ ││+:│┌─┬─┐││││ ││-:│┌─┬─┐│││ > >> > > > ││ │││0│3│││0│_│││││ ││ ││0│_│││││ ││ ││0│_││││ > >> > > > ││ ││└─┴─┘│└─┴─┘││││ ││ │└─┴─┘││││ ││ │└─┴─┘│││ > >> > > > ││ │└─────┴─────┘│││ │└──┴─────┘│││ │└──┴─────┘││ > >> > > > │└─┴─────────────┘│└─┴──────────┘│└─┴──────────┘│ > >> > > > └─────────────────┴──────────────┴──────────────┘ > >> > > > > >> > > > Can be produced as follows, > >> > > > > >> > > > Rank=. , o ((train x tie&'' o rank ])"0) conj NB. " with rank > >> zero > >> > > > > >> > > > 3`.+:`.-: Rank _ NB. Note the use of `. to handle nouns (as > well > >> as > >> > > > verbs) > >> > > > ┌─────────────────┬──────────────┬──────────────┐ > >> > > > │┌─┬─────────────┐│┌─┬──────────┐│┌─┬──────────┐│ > >> > > > ││"│┌─────┬─────┐│││"│┌──┬─────┐│││"│┌──┬─────┐││ > >> > > > ││ ││┌─┬─┐│┌─┬─┐││││ ││+:│┌─┬─┐││││ ││-:│┌─┬─┐│││ > >> > > > ││ │││0│3│││0│_│││││ ││ ││0│_│││││ ││ ││0│_││││ > >> > > > ││ ││└─┴─┘│└─┴─┘││││ ││ │└─┴─┘││││ ││ │└─┴─┘│││ > >> > > > ││ │└─────┴─────┘│││ │└──┴─────┘│││ │└──┴─────┘││ > >> > > > │└─┴─────────────┘│└─┴──────────┘│└─┴──────────┘│ > >> > > > └─────────────────┴──────────────┴──────────────┘ > >> > > > > >> > > > See the script mentioned above for the definitions of the words > >> > involved > >> > > > (you can simply run the whole script first and the above sentences > >> > > > afterwards). > >> > > > > >> > > > > >> > > > > >> > > > > >> > > > On Wed, Mar 12, 2014 at 1:44 AM, bill lam <[email protected]> > >> wrote: > >> > > > > >> > > > > An android toy version has been uploaded to > >> > > > > > >> > > > > http://www.jsoftware.com/download/j801 > >> > > > > > >> > > > > Please provide some demo or test scripts. Thanks. > >> > > > > > >> > > > > -- > >> > > > > regards, > >> > > > > ==================================================== > >> > > > > GPG key 1024D/4434BAB3 2008-08-24 > >> > > > > gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 > >> > > > > gpg --keyserver subkeys.pgp.net --armor --export 4434BAB3 > >> > > > > > >> > ---------------------------------------------------------------------- > >> > > > > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
