bug: &. dual fuses selections incorrectly

[Andrea Piseri]

The following phrases should behave identically, but don't.

       '*'"0 &. (0 1 2 3 { 5 4 3 2 1 0 { ]) 'abcdef'

    ****ef

       '*'"0 &. (0 1 2 3 { ]) &. (5 4 3 2 1 0 { ]) 'abcdef'

    ab****

The first acts as if the right verb argument to &. were (0 1 2 3 { ]).

Tested on j9.6 and j9.7.0-beta7

[Henry Rich]

The first phrase will give a domain error in the next beta.

Structural under is recognized in the few cases listed in NuVoc. &.(N1 {
N2 { ]) is not one of them, so it should be treated as normal under,
which fails because the verb has no inverse.

Perhaps someday  &.(N1 { N2 { ])  will be recognized as structural
under.  Till then your workaround is good.

hhr

> To unsubscribe from this group and stop receiving emails from it, send
> an email to forum+un...@jsoftware.com.
>

[Andrea Piseri]

I see, thanks!

not getting an error got me to think that it was supported and bugged, rather than just unsupported.