[J3] [EXTERNAL] Re: type definitions

[Van Snyder]

On Thu, 2022-08-11 at 08:51 -0400, Steve Lionel via J3 wrote:
> 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

With IMPLICIT NONE it ought definitely to be nonconforming. Does
Steve's argument below somehow imply IMPLICIT NONE when an undeclared
variable appears in an inquiry function reference?

> 
> "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/6dcf3451/attachment-0001.htm>