Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package

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

On 2018-05-30 21:25, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:pelmg4$v5t$1@gioia.aioe.org...
>> On 2018-05-30 12:12 AM, Randy Brukardt wrote:
>>
>>> Changing inheritance would be wildly incompatible, so I don't think there
>>> is any chance of that.
>>
>> We can just add another method of inheritance as it has been successfully
>> done with tagged types.
> 
> The part of inheritance that I was talking about (because it was relevant to
> the OPs question) is exactly the same for tagged types and untagged types.
> The differences are in class-wide operations and the possibility of dynamic
> dispatching.

I don't see any commonality. One method produces an independent type 
another does a related types. If you mean specifically inheritance of 
operations and the representation, that plays no role because of the 
difference in the types.

Nothing can be incompatible with independent types if you could also 
derive from one of them a related type. They simply never meet being 
unrelated to each other.

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