Changes for Clause 8: Attribute declarations and specifications

[tclune]

• Section 8.2 is the type declaration statement. It raises the question of whether the deferred type declaration statement should go in clause 8 instead.?

• Section 8.5 Attributes

  • C816 states that nonallocatable non pointer function results shall be an explicit-shape-spec. Is this true for functions in templates? E.g., they can have deferred shape.
  • 8.5.13 Parameter attribute needs amending to allow for deferred constants.

The following constraint is unrelated to templates, but I think it is wrong:

C855 A named procedure with the POINTER attribute shall have the EXTERNAL attribute.

In general, I feel that this is a clause that will require further passes to be certain we got everything. Lots of things are already addressed in the misc paper.

[tclune]

"The entity that is not a deferred constant has the value specified by its constant-expr, converted, if necessary, to the type, type parameters and shape of the entity."

[tclune]

Probably only that last comment needs attention based upon subgroup discussion.