[J3] USE association of namelist groups?

[Malcolm Cohen]

<<<
> >So, what does "and namelist groups in a module" mean here? C8102 seems
> >to imply that a namelist-group-name is not in the public portion of
> >a module.
>
> I do not understand how you can possibly reach that conclusion!
> If they were not public, they could not be accessed by use
> association in the first place!

OK, so it is not PRIVATE by attribute.  However, if something
is defined within a module and that module is USEd and that
something "shall not be accessed" ... That seems to imply private
in the sense that it shall not be accessed.
>>>

No those words ABSOLUTELY DO NOT mean that!

>>
>> That is, C1803 only makes sense if they are public.
>>
>
>It only make sense if C1803 is clear on what it prohibits,
>and 14.2.2 inclusion of namelist groups isn't wrong.

Wrong.  C1803 does not make sense unless namelist group names are 
accessible.  And it is 100% clear on what it prohibits, to anyone who knows 
what our notation means.

And if you're going to assume the standard's wrong in 14.2.2 to make your 
argument, you have already lost it.

>> And then, C1803 forbids using a NAMELIST statement on a namelist
>> group name imported from a module, because it says that in a
>> NAMELIST statement, the <namelist-group-name> “shall not” be
>> accessed by use association.
>
>Yes, I think that is what is intended.  But that isn't
>what C1802 says.

You are absolutely WRONG.  That is EXACTLY what it says.

That is because it has a BNF rule reference, which means the scope of the 
constraint is limited to that BNF rule.

This is set out in 4.1 Notation..., in particular 4.1.2 explains the 
notation about constraints.  p2 deals with the meaning of a BNF rule 
reference, and it explains that this means it applies "in all places where 
the syntax term appears".  And thus, not in places where that syntax rule is 
*NOT* being used!

>Well, it seems to me that C8102 prohibits access to a name of
>a namelist-group-name by use association.

And yet literally no one else thinks this is true.  Because it is NOT TRUE. 
It only prohibits use of a namelist-group-name by use association IN THAT 
BNF RULE.  Which happens to be the NAMELIST statement.

Cheers,
-- 
............................Malcolm.