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