[e-lang] "implements Selfless" is useful!

[Dean Tribble]

It's interesting that Joule didn't have equality and you'd occasionally have
to implement it for various type, whereas E has pervasive equality and you
have occasionally utility for essentially removing it from certain types. :)

On 9/15/07, Mark Miller <erights at gmail.com> wrote:
>
> On 9/15/07, Kevin Reid <kpreid at mac.com> wrote:
> > [...] and what
> > should happen when an object does "implements Selfless" but not also
> > Transparent (or any other supported means of comparison). We decided
> > that such an object should be considered permanently *unsettled* (as
> > a representation of "not possible to compare this").
>
> When Kevin first proposed this, I misunderstood him to be proposing
> that references to such objects be considered permanently
> *unresolved*, which would be bad. So that other's don't make this
> mistake, I thought I'd remind people of the distinction:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/e-lang/attachments/20070915/c99695d3/attachment.html