[J3] [EXTERNAL] Re: type definitions

[Van Snyder]

On Thu, 2022-08-11 at 14:29 -0400, Steve Lionel via J3 wrote:
> On 8/11/2022 2:23 PM, Van Snyder via J3 wrote:
> 
> > 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?
> Anything else, that didn't appear in the example, you want to toss
> in, Van? 

Tom's example didn't include IMPLICIT NONE, so I questioned whether
Tom's hope that the reference to KIND(X) in a specification expression
was in fact nonconformant. For example, none of my processors complain
about

   print '(a,i0)', 'KIND(X) ', kind(x)
   end

nor about

   type :: T
      real(kind(x)) :: X(kind(x))
   end type t
   type(t) :: V
   print '(a,i0)', 'KIND(V%X) ', kind(v%x), ' SIZE(V%X) ', size(v%x)
   end

It appears that without IMPLICIT NONE, Tom's hope is forlorn.
> Steve

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