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

Reply via email to