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

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

Did that and, as I said before, like it. No I have a whole lot of
'undefine' which brings up yet another question:

What is wrong with 'undefine all end'?

This seems to be forbidden. I vaguely remember this has been discussed
here or somewhere else a long time ago. Could someone please give me a
hint?

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.