Re: Strange error message

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

On Mon, 02 Jun 2014 09:49:13 -0400, Robert A Duff wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> The first objection is that the legality of inheriting Create in
>>
>>    type Base is tagged private;
>>    function Create return Base;
>>
>>    type High is new Base with private;
>>  
>> depends on the private part of the package. This is not good.
> 
> Privacy breakage is not good, but there is no privacy breakage here.
> Privacy breakage happens when the legality of clients depends on the
> contents of the private part.  Here, the legality of the package itself
> depends on the contents of the private part (which is always the case!).

OK

> Is it OK with you now, having read my comments above?

Yes, you convinced me.

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