Set = IdentitySet ?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Set = IdentitySet ?

Stéphane Rollandin
Hello,

I just noticed that in my working image (4.4),

(Set with: #a) = (IdentitySet with: #a)

is true. Is that a feature ?


Stef

Reply | Threaded
Open this post in threaded view
|

Re: Set = IdentitySet ?

Frank Shearar-3
On 7 October 2013 12:30, Stéphane Rollandin <[hidden email]> wrote:
> Hello,
>
> I just noticed that in my working image (4.4),
>
> (Set with: #a) = (IdentitySet with: #a)
>
> is true. Is that a feature ?

I guess it would depend on who you ask! #= answers the question "are
these two objects equivalent?" Since they both represent a set with
the same single element (specifically, an element whose #= == #==
(sorry, I couldn't resist that)), yes, they are equivalent. Feature!

But on the flip side {#a} = (OrderedCollection with: #a) => false
(because their #species differ).

frank