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
