HaloO, reading the "Collapsing Junction states" thread I wondered how eqv and === handle junctions. I would expect
all(1,2) === all(1,2) to evaluate to True and not expand to 1 === 1 && 1 === 2 && 2 === 1 && 2 === 2 which is False. OTOH, 2 === any(1,2,3) should be False because 2.WHAT is Int and any(1,2,3).WHAT is Junction. Or are my expectations wrong? Regards, TSa. -- "The unavoidable price of reliability is simplicity" -- C.A.R. Hoare "Simplicity does not precede complexity, but follows it." -- A.J. Perlis 1 + 2 + 3 + 4 + ... = -1/12 -- Srinivasa Ramanujan
