(j3.2006) PASS and VALUE

[Malcolm Cohen]

Robert Corbett wrote:
> Malcolm Cohen wrote:
>   
>> Robert Corbett wrote:
>>
>>     
>>> May the PASS argument of a type-bound procedure have the VALUE
>>> attribute?
>>>
>>>       
>> No.  Interp F03/0013.  Type-bound procedures are only available for
>> extensible types, thus requiring CLASS on the passed-object dummy
>> argument, thus not VALUE.
>>     
>
> Thank you.
>
> I found the constraint on page 69, lines 12-13 of 09-007r1.  I had
> looked for it in Section 4.5.5, where the syntax rule is given.
>
>   
I was answering from F2003... the text you quote was came from a 
slightly different question, interp F03/0094.  The one you quote applies 
to both type-bound and object-bound procedures viz procedure pointer 
components.  (In fact the text I referred to is absent from F2008, 
deliberately.)

And there is not necessarily any syntax - all PASS does is specify a 
nondefault passed-object dummy argument, in the absence of PASS there is 
still one (unless NOPASS appears).  It seems to me that a general 
requirement on passed-object dummy arguments belongs in the subclause 
entitled "Passed-object dummy argument", not in the two places (pages 67 
and 74) where the syntax appears for changing what that argument is, so 
I like its current position.

Cheers,
-- 
.........................Malcolm Cohen, Nihon NAG, Tokyo.