[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Traits, dictionaries
> A minor note regarding the wording in the draft under "Equivalence"...
> Collections are considered equivalent with respect to scheme's
> equal? operator when they contain a like number of values, and
> where each value in one collection is equal? to a value in the
> second collection.
> ...Further conditions valid only on sequences elided ....
> Taking this literally, and using unordered bags for our collections,
> I observe that if one bag contains 2 b's and 1 a, it is equal? to
> another bag that contains 1 b and 2 a's.
> This is probably not what you want.
When I wrote up my comprehensive review/overhaul/recommendation for the
collection procedures, I changed this so that they're only equivalent if
(*-count value) is the same for both collections.
Bradd W. Szonye