Re: Overring function and its returned type

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 09 Nov 2012 08:13:23 +0100, Yannick Duch�ne (Hibou57) wrote:

>            overriding
>            function F
>              (E : T)
>               return R'Class -- Not overriding :-(
>               is abstract;

What is this? "overriding" + "abstract" does not make sense.

In any case it is the default. When you do nothing, you get F through
inheritance and it is abstract when the parent's F was.

Ada's declarations are not idempotent, in the sense that you cannot repeat
them like you could in C++. So "F ... is abstract" always
overloads/conflicts.

P.S. They should really have used the syntax with the keyword "overriding"
trailing behind "is" rather than preceding "function/procedure."

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de