On Thu, Nov 13, 2008 at 05:37:21PM +0100, TSa wrote:
> 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?
eqv and === autothread just like any other comparisons. If you really
want to compare the contents of two junctions, you have to use the
results of some magical .eigenmumble method to return the contents
as a non-junction. Possibly stringification will be sufficient, if
it canonicalizes the output order.