[J3] Inquiry on standard conformance with type-bound procedure with PRIVATE atttibute and generic binding and type extension

[Vipul Parekh]

On Wed, Jun 26, 2019 at 11:06 AM Malcolm Cohen via J3
<j3 at mailman.j3-fortran.org> wrote:
>
> Without looking too closely at the code...
>
> >the binding-name
> >'sub' in the extension type does not extend the generic-spec of 'proc'
> >because the binding-name in the parent type is private and thus is
> >inaccessible in module e.
>
> No, it does not extend the generic because there is no GENERIC statement for it. (And no GENERIC statement to add it to PROC would be allowed, as it would be ambiguous.)
>
> I think what you mean is that it does not override the SUB in the parent type, because the SUB in the parent type is inaccessible. That is correct.
>
> >my impression is the code conforms
>
> That is also my impression.
>
> I expect the output “A”. Output B is erroneous.
>
> Cheers,
>  ..

Malcolm, thank you for your feedback - that helps greatly.

Regards,
Vipul