On Wed, Feb 16, 2005 at 02:53:15PM +1100, Damian Conway wrote:
> Patrick R. Michaud wrote:
>
> >>>none(none($a,$b),none($c,$d)) == none($a,$b,$c,$d)
> >>
> >>True.
> >
> >
> >Hmmmm...
> >
> > -> none(none($a,$b) == none($a,$b,$c,$d),
> > none($c,$d) == none($a,$b,$c,$d))
>
> RHS distributes first. So the expansion is this instead...
Ummm, okay, but that's not what I interpreted from S09, where
it says that the "left-most" conjunction or injunction is
autothreaded first. In this I've also assumed that
$a == $b
is equivalent to
&infix:<==>($a, $b)
so I'm missing the piece that says to distribute the RHS first.
Pm
