On Sat, Feb 12, 2005 at 03:28:15AM +0800, Autrijus Tang wrote: > Yes. In Pugs 6.0.3 (released one minute ago), that operator is > simply called "&":
I satnd corrected. The implementation is incorrect. Pugs 6.0.4 has just been released (now with the "eval" primitive!), it has cleaned up the collapsing logic thus: - all() checks its operands to see if any of them are also all() junctions; it then takes an union of those junctions sets first, then unify it again with the set of other operands. - same applies for any(). - one() checks its operands for duplicates; if found, it collapses itself into an empty one() junction, thus failing all tests. Is this somewhat saner? :-) Thanks, /Autrijus/
pgpK19LLVgCvA.pgp
Description: PGP signature