From owner-sc22wg5 Mon Jul 22 19:51:37 2002 Received: from nameserv.rl.ac.uk (nameserv.rl.ac.uk [130.246.135.129]) by dkuug.dk (8.9.2/8.9.2) with ESMTP id TAA85107 for ; Mon, 22 Jul 2002 19:51:37 +0200 (CEST) (envelope-from jkr@jkr.cc.rl.ac.uk) Received: from jkr.cc.rl.ac.uk (jkr.cc.rl.ac.uk [130.246.8.20]) by nameserv.rl.ac.uk (8.8.8/8.8.8) with ESMTP id SAA16314 for ; Mon, 22 Jul 2002 18:52:12 +0100 Received: (from jkr@localhost) by jkr.cc.rl.ac.uk (8.8.8+Sun/8.8.8) id SAA03601 for SC22WG5@dkuug.dk; Mon, 22 Jul 2002 18:55:50 +0100 (BST) Date: Mon, 22 Jul 2002 18:55:50 +0100 (BST) From: John Reid Message-Id: <200207221755.SAA03601@jkr.cc.rl.ac.uk> To: SC22WG5@dkuug.dk Subject: Further draft edits MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" WG5 Here are some more draft edits. Comments, please. John ............. 57:14. Change 'components' to 'non-parent components'. 58:37&38. Change 'each component' to 'each non-parent component'. 59:20-21. Make a constraint and move to 59:0. 85:6. Before 'in the scoping unit' add 'declared'. [Note that 'declared' includes implicit declarations, see 94:30-32: 'The data entity is treated as if it were declared in an explicit type declaration in the outermost scoping unit in which it appears'.] 85:15. Add 'If declared in the scoping unit of a subprogram, it is shared by all instances of the subprogram.'. 106:7. Before 'object' add 'declared type of the'. 111:14-15. Replace by C626 (R623) If a appears, each shall have kind type parameter values that are the same as the corresponding type parameter values of the . [The sets of kind type values can differ.] 111:21. Change 'shall be type compatible (5.1.1.8) with' to 'shall have the same dynamic type and type parameters as'. ['type compatible' would allow to be of a type that extends the type of . Intrinsic assignment is not defined for this case.] 111:40. Add 'If it is a specification expression, subsequent redefinition or undefinition of any entities in the expression do not affect the type parameter value.' 113:13&15. Change 'local variable of a' to 'variable declared in the scoping unit of a'. [This paragraph does not apply to a variable accessed by use or host association. Also, see 117:9.] 115:29. Change 'a named local variable' to 'declared in the scoping unit'. 116:1. Change 'a local variable' to 'declared in the scoping unit'. 124:17. Change 'x_2 match those of d_2' to 'd_2 match the corresponding type parameters of x_2'. [x_2 may be an extension of d_2.] 124:36. Change 'x_1 and x_2 match those of d_1 and d_2' to 'd_1 and d_2 match the corresponding type parameters of x_1 and x_2'. 144:9-10. Replace by (1) A reference to the subroutine with the left-hand side as the first argument and the right-hand side enclosed in parentheses as the second argument would be a valid reference, and 144:16. Replace final comma by period. 144:17-23. Delete. [The rules are not right now and getting them right would not be easy. If d_1 is a pointer or allocatable and of intent OUT, the dynamic type of x_1 must be compatible with the type of d_1. If d_1 is a pointer or allocatable and of intent INOUT, the type of d_1 must be the same as the dynamic type of x_1. Otherwise, the type of d_1 must be compatible with the dynamic type of x_1. The type of d_2 must be compatible with the dynamic type of x_2. Why not just rely on section 12? P.S. Similar changes could be made on page 124.] 260:19. Add 'dynamic' before 'type'.