Re: orthogonal inheritance and extension aggregates

[Adam Beneschan <adambeneschan@aol.com>]

On Monday, July 22, 2013 11:59:29 AM UTC-7, Adam Beneschan wrote:
> What I'm thinking is that we need a (2a) that says something like: if the parent type is a generic formal tagged type or type extension, and the derived type is not a generic formal, and if the subprogram is not abstract [which means it must be a function with a controlling result], and if no overriding subprogram is explicitly provided, the subprogram is overridden with an implicit subprogram that does nothing but raise Program_Error.  This should solve the problem in a case like this--where the language demands that some subprograms be overridden but does not provide any mechanism for doing so.  I'm assuming that if this were the case, Extended would no longer need to be "abstract".  (If it were, this change wouldn't be sufficient.)
> 

I meant for this to apply only in an instance.  I intended to say that, but it got left out somehow.  (Any actual language wording would probably have to refer to "the actual type for a formal", or something like that.)

                          -- Adam