Re: Full view of a private partial view cannot be a subtype

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:p16332$1rfb$1@gioia.aioe.org...
> On 2017-12-17 16:26, Jere wrote:
>
>> my assertion is that:
>>
>>     subtype Thing is Core_Pkg.Thing;
>>
>>     procedure Do_Something(The_Thing : in out Thing)
>>        renames Core_Pkg.Do_Something;
>>         is easier to both maintain and read than:
>>
>>     type Thing is new Core_Pkg.Thing with null record;
>>     procedure Do_Something(The_Thing : in out Thing);
>
> But these are two semantically different concepts. Ada's subtype declares 
> an equivalent type [it inherits everything from and exports everything to 
> the base]. Ada's new tagged type declares a new instance of a class. It 
> only inherits.
>
> I don't understand how can you exchange one for another.

You can't really; they're very different concepts. The OP is showing a 
confusion, because the renames he wants is perfectly legal, assuming proper 
visibility. And if the items in question are private, then he is trying to 
make a privacy leak -- which the language will not make easy for obvious 
reasons.

                            Randy/