Value equality

[John Rose]

– John

> On May 18, 2016, at 4:29 PM, forax at univ-mlv.fr wrote:
> 
> 
> 
> 
> On May 18, 2016, at 3:58 PM, John Rose <john.r.rose at oracle.com> wrote:
> 
> Yes but if CE is a subset of OE then their union is just OE.  (Viewing relations as sets of pairs.)  In your example that is the case. Any .equals method must extend CE or it breaks the .equals contract. 
> 
> – John
> 
> It doesn't seem practical to me to add this constraint:
> - there is no way to enforce that constrain but to run the code.
> - it will make the retrofitting of a class to a value class hazardous.
> 
> Rémi