[J3] [SC22WG5.6386] RE: [ukfortran] WG5 Letter Ballot 2

[Malcolm Cohen]

<<< 

A type name can name a local entity that might seem to be
subject to the new constraint.  However, I do not think that
a derived type is "of a type" (it is a type), and therefore,
is not subject to the constraint.  I find that to be a slender
reed. 

>>> 

 

A derived type name does not itself have a type, any more than the name of a module (that might contain type definitions that contain data components) has a type. In my opinion this is not a weak or slender reed.

 

> A named local or construct data entity

 

Apart from having ambiguous grammar, there is also no such thing as a “construct data entity”.

 

> be of a {declared} type

 

We never say “of a declared type”, as the “declared” part goes with the entity, not with the type.

 

Making such changes to the edit would change my vote to “N”.

 

<<< 

Specifically, it might be read as banning
type names that name derived types that include default
initializations of pointer components to targets.

>>> 

 

I disagree, but in any case, how exactly do you envisage such a type name being used unproblematically within a pure procedure (and without creating any local entity or construct entity of such a type)?

 

Cheers,

-- 

..............Malcolm Cohen, NAG Oxford/Tokyo.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20220510/26e86046/attachment.htm>