(j3.2006) A bit more explicit about <interface-name>

[Van Snyder]

On Tue, 2016-10-04 at 08:47 +0900, Malcolm Cohen wrote:
> If you click on "interface-name" it takes you right to the BNF for 
> interface-name, which is followed by the constraint
> 
> C1522 (R1517) The name shall be the name of an abstract interface or of a 
> procedure that has an explicit
> 8 interface. If name is declared by a procedure-declaration-stmt it shall be 
> previously declared. If name
> 9 denotes an intrinsic procedure it shall be one that is listed in Table 
> 16.2.

I missed this because I was using acrobat reader to search for
"interface-name" not "name".

> 
> Cheers,
> 
> -----Original Message----- 
> From: Van Snyder
> Sent: Tuesday, October 4, 2016 8:09 AM
> To: j3
> Subject: (j3.2006) A bit more explicit about
> 
> 
> 15.4.3.7p2 says "If <proc-interface> appears and consists of
> <interface-name>, it specifies an explicit specific interface...."
> 
> It only does that if <interface-name> actually has an explicit specific
> interface.
> 
>   external A
>   procedure(A) :: B
> 
> doesn't work with any processor I tried.  They all require A to have
> explicit specific interface.
> 
> You might believe you can prove a theorem using 15.4.3.7p2, and
> eventually reach the conclusion that the <interface-name> in a procedure
> declaration statement has to specify an explicit specific interface.
> The argument appears to be "<interface-name> specifies an explicit
> specific interface, but it can't specify an explicit specific interface
> if it doesn't have explicit specific interface."
> 
> If we really intend that <interface-name> specify an explicit specific
> interface, could we just say that directly, either with a constraint or
> ordinary normative text, without beating around the bush?  Something
> like
> 
> C1528a (R1513) If <proc-interface> appears and consists of
>        <interface-name> it shall specify an explicit specific interface.
> 
> 
> 
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star.
> ________________________________________________________________________ 
> 
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3