CVS difference for ais/ai-00434.txt

--- ais/ai-00434.txt	2005/11/23 02:22:15	1.3
+++ ais/ai-00434.txt	2005/12/15 02:44:20	1.4
@@ -34,7 +34,7 @@
 !standard H.3.2     (5)
 !class presentation 05-08-17
 !status Amendment 200Y 05-08-17
-!comment This AI is not yet approved, but is included in the Amendment.
+!status ARG Approved 10-0-0  05-11-19
 !status work item 05-08-17
 !status received 05-08-17
 !priority High
@@ -106,7 +106,7 @@
 
 25) In G.2.6(13), "takes precedence to" is strange.
 
-26) In H.1(5 and 6), subtypes don't have an initial value.
+26) In H.1(5 and 6), subtypes may have more than one initial value.
 
 27) In H.3.2(5), objects are "visible".
 
@@ -114,10 +114,8 @@
 
 29) In 7.1(5-6), there are no declarative_items in a package spec.
 
-30) 13.13.2(8.1) and 13.13.2(25) are inscrutable.
+30) "Cartesian" should be capitalized in G.1.1(26).
 
-31) "Cartesian" should be capitalized in G.1.1(26).
-
 !recommendation
 
 (See summary.)
@@ -188,7 +186,7 @@
 
 25) This should be "takes precedence over".
 
-26) Objects have an initial value, add "an object of".
+26) Make "values" plural in both paragraphs.
 
 27) Declarations are visible, add "the declaration of".
 
@@ -197,11 +195,8 @@
 references to the use the numbers.
 
 29) These should say "basic_declarative_items".
-
-30) Reorganize this text to make it clearer that these paragraphs are
-talking about the default implementations.
 
-31) Yes, capitalize "Cartesian".
+30) Yes, capitalize "Cartesian".
 
 !corrigendum 7.1(05)
 
@@ -249,34 +244,6 @@
 A @fa<generic_declaration> declares a generic unit @emdash a generic package,
 generic procedure, or generic function, as appropriate.
 
-!corrigendum 13.13.02(8.1)
-
-@drepl
-For untagged derived types, the Write and Read attributes of the parent type
-are inherited as specified in 13.1; otherwise, the default implementations of
-these attributes are used.
-The default implementations of Write and Read attributes execute as follows:
-@dby
-For untagged derived types, the default implementations
-of the Write and Read attributes are inherited from
-the parent type as specified in 13.1; for other types,
-the default implementations of Write and Read attributes
-execute as follows:
-
-!corrigendum 13.13.02(25)
-
-@drepl
-For untagged derived types, the Output and Input attributes of the parent type
-are inherited as specified in 13.1; otherwise, the default implementations of
-these attributes are used. The default implementations of Output and Input
-attributes execute as follows:
-@dby
-For untagged derived types, the default implementations
-of the Output and Input attributes are inherited from
-the parent type as specified in 13.1; for other types,
-the default implementations of Output and Input attributes
-execute as follows:
-
 !corrigendum A(03)
 
 @drepl
@@ -683,7 +650,7 @@
 which such a value is used and is not an invalid representation.
 @dby
 If a @fa<pragma> Normalize_Scalars applies, the implementation shall document
-the implicit initial value for objects of scalar subtypes, and shall identify
+the implicit initial values for scalar subtypes, and shall identify
 each case in which such a value is used and is not an invalid representation.
 
 !corrigendum H.01(06)
@@ -692,8 +659,8 @@
 Whenever possible, the implicit initial value for a scalar subtype should be an
 invalid representation (see 13.9.1).
 @dby
-Whenever possible, the implicit initial value for an object of a scalar subtype
-should be an invalid representation (see 13.9.1).
+Whenever possible, the implicit initial values for a scalar subtype should be
+an invalid representation (see 13.9.1).
 
 !corrigendum H.03.02(05)