(j3.2006) Can't figure out what this means

Cohen Malcolm malcolm
Fri Jan 15 01:40:40 EST 2016


  1.. ?each? is correct.  ?every? would not be.  We use ?each abc shall have the same xyz? many times in the standard. 
  2.. In ?If a where-construct contains a..., or another where-construct then each mask-expr within the where-construct? there is only one possible antecedent for ?the?, and it is the initial where-construct (because the second one is only a possible thing contained in the subject of the sentence, it cannot be the subject of the sentence itself).
However, I agree it is poor style to rely so heavily on arcane rules of grammar.  I think the solution is to greatly simplify the sentence to something like:
  ?If a where-construct contains more than one mask-expr, each mask-expr within that where-construct shall have the same shape.?
or
  ?Each mask-expr that appears within a particular where-construct shall have the same shape.?
There is no need to enumerate the various syntactic possibilities for how a mask-expr can appear within a where-construct, just apply the requirement to all of them.  One needs to be a little careful with the wording to make sure it does not end up requiring that every mask expression in the entire program has to have the same shape, but both the above seem to be ok there.

Cheers,


From: Van Snyder 
Sent: Friday, January 15, 2016 9:36 AM
To: j3 
Subject: (j3.2006) Can't figure out what this means

In 7.2.3.1p2 we read


  "If a where-construct contains a where-stmt, a masked-elsewhere-stmt, or another where-construct then each mask-expr within the where-construct shall have the same shape."


To which where-construct does "the same shape" apply?  The outer one, the inner one, or both?

>From the discussion of control masks in 7.2.3.2, it appears to be both.  If so, it would be clearer as "... then every mask-expr within the entire where-construct, including mask-exprs within nested where-constructs, shall have the same shape." 
The confusion is caused by using "each" instead of "every". The phrase "... then each mask-expr within the where-construct shall have the same shape." makes one ask "same shape as what?"


________________________________________________________________________
This e-mail has been scanned for all viruses by Star.
________________________________________________________________________



--------------------------------------------------------------------------------
_______________________________________________
J3 mailing list
J3 at mailman.j3-fortran.org
http://mailman.j3-fortran.org/mailman/listinfo/j3

-- 
........................Malcolm Cohen, Nihon NAG, Tokyo.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.j3-fortran.org/pipermail/j3/attachments/20160115/0e17b2ce/attachment.html 



More information about the J3 mailing list