[J3] RANK clause

[Robert Corbett]

A related case might be interesting.  The standard appears to allow

REAL, RANK(0) :: X4(4)

I do not know if that was intended.

Bob Corbett

> On Jun 15, 2025, at 10:18 AM, Robert Corbett via J3 <j3 at mailman.j3-fortran.org> wrote:
> 
> Constraint C815 appears to cover this case.  Both the DIMENSION attr-spec and the RANK clause specify the DIMENSION attribute of an entity.
> 
> The constraint you suggest might add clarity and consistency, but it seems to be an editorial change.
> 
> Bob Corbett
> 
>> On Jun 15, 2025, at 7:20 AM, John Reid via J3 <j3 at mailman.j3-fortran.org> wrote:
>> 
>> Dear all,
>> 
>> For a type declaration statement (R801) we have this constraint
>> 
>> C801 (R801) The same attr-spec shall not appear more than once in a given type-declaration-stmt.
>> 
>> However we have added the rank-clause, which specifies the DIMENSION attribute.(8.1.17). Does this not mean that we need a constraint such as
>> 
>> C8xx  A rank-clause shall not appear in a type-declaration-stmt that has a DIMENSION clause.
>> 
>> Or have I missed something?
>> 
>> Here is an example that should be noticed as an error at compile time, IMHO
>> 
>>    real, rank(3), dimension(10) :: a
>> 
>> Cheers,
>> 
>> John.
>