(j3.2006) READ unit ambiguity

Van Snyder van.snyder
Mon Mar 5 13:44:20 EST 2012


Van Snyder wrote:
> Bill Long wrote:
>   
>> Interestingly, there is a constraint immediately following that says
>>
>> C812 (R819) The do-variable shall be a variable of type integer.
>>
>> Is that constraint really necessary?
>>   
>>     
>
> There isn't a constraint (that I could readily find) that 
> <int-variable-name> or is of type integer, so apparently C812 is 
> necessary.  There is an assumed constraint (C101) that a prefix of 
> <scalar-> on a syntax term requires a scalar.

I didn't look deeply enough.  C607 on R607 says "<int-variable> shall be 
of type integer."  The <scalar-> prefix and <-name> suffix are assumed 
rules.  So C607 applies to R819.  C812 isn't necessary.




More information about the J3 mailing list