[J3] (j3.2006) IMPLICIT NONE in BLOCK

[Bill Long]

> On Feb 26, 2018, at 6:42 PM, Robert Corbett via J3 <j3 at mailman.j3-fortran.org> wrote:
> 
> The standard does not provide interpretations for non-conforming programs.  It does, however, require conforming processors to be able to issue a diagnostic message if a program violates a constraint.  

True. But I don?t think any constraint is involved here. Indeed, the citation in the standard was to a Note.  If the description was clear enough to be expressed as a constraint, I doubt there would be as much confusion.  That said, it is helpful to programmers to have errors issued for violations of normative text as well as constraints.   Although compiler X often gets in hot water doing that because a user will object that compiler Y allows the (wrong) code, and the vendor of Y has made up its own meaning of what the statement means.  Still, the requirement for diagnostics covers not only constraints but also syntax rules and scoping rules. So some work is needed here. 

Cheers,
Bill



> The processors in question might or might not have implemented that capability for the example program.
> 
> Robert Corbett
> 
>> On Feb 26, 2018, at 6:07 AM, Clune, Thomas L. (GSFC-6101) via J3 <j3 at mailman.j3-fortran.org> wrote:
>> 
>> 
>>>> On Feb 26, 2018, at 3:33 AM, Anton Shterenlikht via J3 <j3 at mailman.j3-fortran.org> wrote:
>>>> 
>>>> From: Van Snyder <van.snyder at jpl.nasa.gov>
>>>> 
>>>> OK, I found note 8.45 on page 123 of 18-007.  It explicitly says the
>>>> program is not conformant, as I suspected.  So whichever processors Jon
>>>> and Bill used might need repair.
>>> 
>>> Why?
>>> Processors can do whatever they want with non-conforming programs, right?
>> 
>> I for one would be in favor of adding a constraint that processors are not permitted to start WWIII with non-conforming programs.
>> 
>> (Sorry, not enough sleep to suppress the urge to hit the send button on this.)
>> 
>> - Tom
>> 
>> 
>>> 
>>> Anton
>>> 
>>> _______________________________________________
>>> J3 mailing list
>>> J3 at mailman.j3-fortran.org
>>> http://mailman.j3-fortran.org/mailman/listinfo/j3_mailman.j3-fortran.org
>> 
>> 
>> _______________________________________________
>> J3 mailing list
>> J3 at mailman.j3-fortran.org
>> http://mailman.j3-fortran.org/mailman/listinfo/j3_mailman.j3-fortran.org
> 
> 
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3_mailman.j3-fortran.org

Bill Long                                                                       longb at cray.com
Principal Engineer, Fortran Technical Support &   voice:  651-605-9024
Bioinformatics Software Development                      fax:  651-605-9143
Cray Inc./ 2131 Lindau Lane/  Suite 1000/  Bloomington, MN  55425