[J3] [EXTERNAL] Re: type definitions

[Steve Lionel]

On 8/11/2022 8:30 AM, Clune, Thomas L. (GSFC-6101) via J3 wrote:

> Hopefully we at least disallow:
>
> PROGRAM MAIN
>           REAL(KIND=KIND(X)) X
>       END
>
"If a constant expression includes a specification inquiry that depends 
on a type parameter or an array bound of
an entity specified in the same specification-part, the type parameter 
or array bound shall be specified in a prior
specification of the specification-part. The prior specification may be 
to the left of the specification inquiry in the
same statement, but shall not be within the same entity-decl unless the 
specification inquiry appears within an
initialization."

DIS 10.1.12p2 (Constant expression)

I believe that both of Bob's examples are conforming, and look forward 
to his argument to the contrary.

Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20220811/d515a2d9/attachment.htm>