Re: Strange error message

[Charly <carl.weierstrass@googlemail.com>]

Am Sonntag, 1. Juni 2014 13:11:08 UTC+2 schrieb Dmitry A. Kazakov:
> On Sun, 1 Jun 2014 03:24:02 -0700 (PDT), Charly wrote:
> 
> You must override Create for High, *always*.
> 
>  
.........
> 
> 
> I believe it was a recent hack (wrongly) added to Ada that you need not to
> 
> override primitive operations returning the tagged type when the derived
> 
> type does not actually extend. I don't know if making that public or
> 
> privately changes anything. You did that privately.
> 
> 
> 
> It is an awful idea in any form. You should always override such
> 
> operations, and all out-operations, because inheriting them is a priori
> 
> unsafe.
> 
> 
> 
> -- 
> 
> Regards,
> 
> Dmitry A. Kazakov
> 
> http://www.dmitry-kazakov.de

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


Thank you for the rapid answer. I wondered if it is a bug in GNAT.
I thought, that I always have to override abstract function and 
procedures in concrete types and can override concrete functions
and procedures only as needed.


Charly