On Sun, Feb 13, 2005 at 01:01:15AM +0800, Autrijus Tang wrote:
> On Sat, Feb 12, 2005 at 10:55:05AM -0600, Patrick R. Michaud wrote:
> > On Sat, Feb 12, 2005 at 12:09:37PM +0800, Autrijus Tang wrote:
> > > [...]
> > > - one() checks its operands for duplicates; if found, it collapses
> > > itself into an empty one() junction, thus failing all tests.
> > > Is this somewhat saner? :-)
> > Depends on when it's checking its operands for duplicates, and
> > the type of checking being performed. For example,
> > $x = one(0, 0, 1);
>
> Right. What I mean is that
> one($a, $a, $b)
> should collapse into
> one($b)
> That is, it should delete all duplicate elements from its set. Does it
> look like correct?
No, consider
$a = 1;
$b = 2;
one($a, $a, $b) # false
one($b) # true
Pm
