(j3.2006) About extending abstract types with deferred bindings

[Bader, Reinhold]

Hm. The interp (in the answer to Q1) doesn't actually say that a private type-bound procedure is not inherited, only that it is not accessible
outside its defining module. In fact I can think of a scenario where such inheritance is needed (i. e. create an object of extended type outside
the module and then invoke the inherited TBP inside the scope of the defining module).

And the answer to Q3 also seems to imply this.






Von: j3-bounces at mailman.j3-fortran.org [mailto:j3-bounces at mailman.j3-fortran.org] Im Auftrag von Lionel, Steve
Gesendet: Mittwoch, 7. September 2016 22:18
An: fortran standards email list for J3 <j3 at mailman.j3-fortran.org>
Betreff: Re: (j3.2006) About extending abstract types with deferred bindings

Or maybe not. With the interp, the extended type clearly doesn't inherit the private type-bound procedures, so the extension is ok? Still confused...

Steve

From: j3-bounces at mailman.j3-fortran.org<mailto:j3-bounces at mailman.j3-fortran.org> [mailto:j3-bounces at mailman.j3-fortran.org] On Behalf Of Bader, Reinhold
Sent: Wednesday, September 07, 2016 4:11 PM
To: fortran standards email list for J3 <j3 at mailman.j3-fortran.org<mailto:j3 at mailman.j3-fortran.org>>
Subject: Re: (j3.2006) About extending abstract types with deferred bindings
Importance: Low

Hello Steve,

as to your original question, in 16-007r2 there is

C734 (R726) If the type definition contains or inherits (7.5.7.2) a deferred type-bound procedure (7.5.5), ABSTRACT shall appear.

I think this enforces the override for any non-ABSTRACT extension.

Cheers
Reinhold


This clearly suggests that there is a rule specifying that all deferred bindings in an abstract type must be overridden when extended, but I can't find it and I have tried many ways to search in F2003, 2008 and 16-007r2. Yet it must be there somewhere as the interp references it and Intel Fortran insists it be followed. What have I missed?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.j3-fortran.org/pipermail/j3/attachments/20160907/e69830a8/attachment-0001.html