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

[Malcolm Cohen]

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.

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.
________________________________________________________________________