ISO/IEC JTC1/SC22/WG5 N1741 Comments from US Member Body on CD 1539-1 26 September 2008 Locations are [clause.subclause..."p"pargraph] or [clause.subclause..."R"syntax rule] or [clause.subclause..."C"constraint] or [clause.subclause..."NOTE" note number] or [clause.subclause..."T" table number] Suggested changes to 1539-1 text are specified in the referenced J3 paper. Comments are in order first by comment type, then J3 paper number. The lists below summarize material from all papers that passed at J3 meetings 184 and 185, and that included edits. The arguments in those papers, and the resulting edits, constitute the US National Body position concerning the committee draft of the 2008 revision of ISO/IEC 1539-1. J3 standing documents 08-019 and 08-020 include all edits from papers that passed at J3 meeting 184, in order by subclause and paragraph. Documents 08-019r1 and 08-020r1 include those edits, as well as edits from papers that passed at J3 meeting 185. ======================================================================== Editorial repairs, not including those from /Edit Locations J3 paper Comment ------------------------------------------------------------------------ 2.4.2p1 08-145r1 Sentence about external files belongs in Clause 9 3.3.1p3 08-145r1 "source form" is not in list of defined terms 4.5.5 NOTE 4.45 08-145r1 Assertion in note not supported by normative text in 16.3 4.5.7.2p1 08-145r1 Names and initializers are not attributes, but are nonetheless inherited 9.5.2p5 08-145r1 Only changeable modes can be changed 6.6.3.1,2; A.2 08-153r3 Order of deallocation is processor dependent 12.4.3.2 C1202 08-157r2 Delete first useless sentence of C1202 12.4.3.2p1 08-157r2 Reword first sentence and delete second one 12.4.3.2p7 08-157r2 Reword two sentences 9.6.4.7.3p1 08-159r1 Specify which DIO procedure interface is used 9.6.4.7.5p1 for which kind of I/O 4.5.6.4 08-160 Delete text made obsolete by specifying that NOTE 4.50 module variables have the SAVE attribute global 08-161 Replace by 5.3.8.2p3 08-170 Reduce duplicative descriptions concerning 5.3.8.5p6 6.5.2p2 subscripts 6.5.3.3.1p1 12.5.5.3 08-179r1 Improve wording related to EXTERNAL and procedure pointers 5.2.2p2 08-198r1 Specify only once when specification 5.3.6.3p3 5.3.8.2p2 expressions are evaluated 7.1.11p9+ 9.5.6.12p2 08-209r4 Improve wording of NEWUNIT description 13.5T13.1 08-217 Name of first argument of NORM2 should be 13.7.123 ARRAY 12.5.5.2p1-2 08-222r3 Clarify relationship between host association and INTRINSIC during generic resolution 5.1p3+ 08-226r4 Clarify relationship between attributes and names, as opposed to entities, for accessibility, ASYNCHRONOUS and VOLATILE 2.1.123 08-228r1 Improve definition of vector subscript 12.5.5.2 08-230r3 Add note about relationship between host NOTE 12.51+ association and INTRINSIC during generic resolution 13.7.34 08-231r2 Correct a typo in CMPLX (editor has already done this; the only reason it's here is because it appeared in a public comment) 10.2.1 10.3.1 08-232r2 Improve description of when commas can be omitted in format item lists (more in 08-275) 1.5.4p1 08-233r2 Make description of compatibility between 1.5.5p1 versions of the standard more precise 10.7.2.1 08-237r1 Clarify treatment of negative zero on output 4.5.2.4p2 08-243r1 Objects declared within a single scoping unit by reference to different SEQUENCE type definitions can have the same type 13.5 T13.1 08-253 Name of argument of IS_CONTIGUOUS should be 13.7.86 ARRAY ======================================================================== Technical repairs Locations J3 paper Comment ------------------------------------------------------------------------ 8.1.4 C806 08-144r2 Prohibit statement functions in BLOCK constructs 8.5.1p2 08-152r2 EXIT, CYCLE might be image control statements 5.3.10 C541 08-158 Prohibit INTENT(OUT) for coarrays 5.3.10 NOTE 5.13 12.5.2.6p2+ 08-162r2 Prohibit allocatable coarray actual argument 12.5.2.8p1 with allocatable non-coarray dummy argument 4.5.4.1 C454+ 08-180r1 Specify what a component declaration does 13.7.34p5 08-184r1 Remove KIND from AIMAG reference (AIMAG doesn't have a KIND argument) 4.5.6.3-4 08-199r1 Disallow finalization of coindexed objects 8.1.7.6.1p7 08-203r1 DO CONCURRENT with isn't defined 12.8.1 C1288 08-207 Allow STORAGE_SIZE in a in an elemental procedure 8.1.7.7 C826+ 08-214 Prohibit image control in DO CONCURRENT 13.5T13.1 08-215r2 Change CO_LBOUND to LCOBOUND and CO_UBOUND to 13.7 UCOBOUND 7.2.2.3 08-216r2 Pointer and target on same image NOTE 7.46, 16.5.2.1,5 5.3.18 C556 08-265r1 Prohibit VALUE attribute for coarrays 6.4.2 C616+ 08-267 Prohibit reference to coindexed object that is polymorphic, or that has an allocatable ultimate component that is polymorphic or has a length parameter ======================================================================== Feature requests Locations J3 paper Comment ------------------------------------------------------------------------ 7.2.2.2 C728+ 08-143r3 Prohibit coindexed object as a in a 12.5.1p1,3 4.3.1.1 C407 08-147r1 Restrictions on VALUE are mostly unnecessary 5.3.18 C556,558 11.2.2 08-154r1 Change rules for access from submodule to ancestor module by USE association 12.5.2.4 08-165r1 Relax restrictions on ASYNCHRONOUS/VOLATILE 12.5.2.4p9,10 08-166r1 Simply contiguous TARGET dummy arguments are guaranteed to be associated 12.4.3.2 C1207 08-178 Allow internal procedures in generics 12.7 C1274-5 08-181 Allow VALUE without INTENT for pure procedure C1280 dummy arguments 10.3.2 C1007+ 08-251r3 Allow g0.d edit descriptor 10.7.5.1 10.7.5.2.2p2 13.5T13.1 08-254r2 New TYPE_IS_EXTENSIBLE intrinsic function 13.7.169+ widespread 08-256r2 Add locks to coarray core subset 13.5T13.1 08-266r1 New COMPLEX intrinsic function 13.7.37+