On Sat, Feb 05, 2005 at 06:35:55PM +0000, Nicholas Clark wrote: > If junctions are sets, and so a|b is identical to b|a, then isn't it wrong > for any implementation of junctions to use any short-circuiting logic in > its implementation, because if it did, then any active data (such as tied > things will side effects) may or may not get called depending on whether a > junction happened to be stored internally with a first, or with b first?
It was short-circuiting the "and", collapsing the left hand side junction into a boolean to determine whether to evaluate the right hand side comparison. It is not short-circuiting over individual values. So I agree. All evaluations to sets needs to be done fully. Thanks, /Autrijus/
pgpkA1EAm1PeL.pgp
Description: PGP signature