Re: Redefine to make a contract stronger (Was: is_equal ofHASHABLE)

Roger Browne wrote:

> You could presumably keep the symmetry by doing it like this:
>    class LESS_THAN
>    inherit
>       IRR_R undefine .... end      -- property
>       ANTSYM_R undefine .... end   -- property
>       TRANS_R undefine .... end    -- property
>       R                            -- implementation

That looks pleasing. I like that.

F

-- 
Dr Frank Boehme                      | Email: [email protected]
National University of Ireland, Cork | phone: +353-21-4903163
Dept of Computer Science             |   fax: +353-21-4903113
Cork, Ireland                        |

Did you know that if you play a Windows XP cd backwards, you
will hear the voice of Satan?
That's nothing! If you play it forward, it'll install Windows XP.