CVS difference for ai05s/ai05-0007-1.txt

--- ai05s/ai05-0007-1.txt	2006/11/13 23:47:09	1.3
+++ ai05s/ai05-0007-1.txt	2006/12/16 03:13:16	1.4
@@ -1,6 +1,7 @@
-!standard 13.13.2(50/2)                              06-11-12    AI05-0007-1/02
+!standard 13.13.2(50/2)                              06-12-13    AI05-0007-1/03
 !standard 13.13.2(51/2)
 !class binding interpretation 06-03-17
+!status ARG Approved  9-0-1  06-11-18
 !status work item 06-03-17
 !status received 05-10-13
 !priority Medium
@@ -14,7 +15,7 @@
 
 !question
 
-Presume that We have a limited private type, and we want to define
+Presume that we have a limited private type, and we want to define
 a visible 'Read attribute on it. If the full type is a scalar type,
 13.13.2(51/2) requires us to define the attribute using
 the base subtype. But we can't use 'Base on the partial view,
@@ -89,16 +90,26 @@
 stream attributes for all types (as such a mix-in would not work for scalar
 types).
 
-[Humm. This seems to be a problem with Ada 95, too. Why am I not surprised? - ED]
-
 In addition to eliminating this problem with formal generic types and partial
 views, making this change will also simplify the job for the user.  An
 extremely common mistake when writing these stream attributes is to forget
 to use 'Base, which is required even for types defined as "new Integer".
 Requiring that the attribute subprograms handle 'Base rather than simply
-the first subtype seems of little value, and clearly if the user uses makes
+the first subtype seems of little value, and clearly if the user makes
 use of subtypes "wider" than the first subtype, they can always take care to
 use 'Base when defining the stream attributes.
+
+!corrigendum 13.13.2(51/2)
+
+@drepl
+For an @fa<attribute_definition_clause> specifying one of these attributes,
+the subtype of the Item parameter shall be the base subtype if scalar, and
+the first subtype otherwise. The same rule applies to the result of the Input function.
+@dby
+For an @fa<attribute_definition_clause> specifying one of these attributes,
+the subtype of the @i<Item> parameter shall be the first subtype or the base subtype
+if scalar, and the first subtype if not scalar. The same rule applies to the
+result of the Input function.
 
 !ACATS test