Denis Koroskin wrote:
> On Sun, 25 Oct 2009 02:22:51 +0300, Michel Fortin
> <[email protected]> wrote:
>> Sounds like you want enum inheritance: one enum being a superset of
>> another.  :-)

I was about to post the same thing.

> It was previously proposed, but it was rejected because it works
> "backwards": downcasting is allowed while upcasting is prohibited.

Just like contravariant functions.  Only less so.


-- 
Rainer Deyke - [email protected]

Reply via email to