Re: Precursor, symmetry of is_equal

Daniel F Moisset schrieb:

[...]
> 
> Just to clarify, let me post some code. It crashes at least in SE 2.x.
> If you have other compilers handy (I do not right now), I would like
> to know what the results are:
> 
[...]
> 
> class MAIN
> 
> create make
> 
> feature
> 
>     make is
>         local
>             o1, o2: CHILD
>             x: BOOLEAN
>         do
>             create o1.make_2 ("x", "y", "z")
>             create o2.make_2 ("x", "y", "not z")
>             x := o1.is_equal (o2)
>             if x then print ("Yay!") end
>         end
> 
> end
> 

Replace "make_2" by "make". Then it compiles and runs with
ISE EiffelStudio 5.7 and does not print "Yay!".
The postcondition of "is_equal" of PARENT is violated.

Regards

-- 
Gerald Hammer