CVS difference for ais/ai-00233.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00233.txt

--- ais/ai-00233.txt	2000/12/07 04:35:35	1.3
+++ ais/ai-00233.txt	2001/10/19 01:36:44	1.4
@@ -1,7 +1,8 @@
-!standard  12.05      (08)                             00-10-03  AI95-00233/01
+!standard  12.05      (08)                             01-10-17  AI95-00233/02
 !standard  12.05.1    (20)
 !standard  12.05.1    (21)
 !class binding interpretation 00-04-27
+!status ARG approved 6-0-2  01-10-07
 !status work item 00-04-27
 !status received 00-04-27
 !qualifier Clarification
@@ -28,7 +29,7 @@
    private
       type Message_Rec is tagged
          record
-            The_Length  : natural := 0;
+            The_Length  : Natural := 0;
             The_Content : Message (1 .. 60);
          end record;
    end Parent;
@@ -91,7 +92,8 @@
 rules given in 7.3.1(3-4) apply in this case? Absent any rules to the contrary
 in the standard, the only logical conclusion is that components of formal
 private and derived types are inherited and made visible as described in
-7.3.1(3-4).
+7.3.1(3-4). To clarify this, 7.3.1 is added to the cross-reference in
+12.5.1(20).
 
 The ACATS test that prompted this discussion has been in use for 5 years, so
 it is clear that all compilers currently follow the recommendation.
@@ -129,6 +131,19 @@
 actual type. The rules specific to formal derived types are given in 12.5.1.
 
 
+!corrigendum 12.05.01(20)
+
+@drepl
+If the ancestor type is a composite type that is not an array type, the formal
+type inherits components from the ancestor type (including discriminants if a
+new @fa<discriminant_part> is not specified), as for a derived type defined by
+a @fa<derived_type_definition> (see 3.4).
+@dby
+If the ancestor type is a composite type that is not an array type, the formal
+type inherits components from the ancestor type (including discriminants if a
+new @fa<discriminant_part> is not specified), as for a derived type defined by
+a @fa<derived_type_definition> (see 3.4 and 7.3.1).
+
 !corrigendum 12.05.01(21)
 
 @drepl
@@ -184,7 +199,7 @@
 private
    type Message_Rec is tagged
       record
-         The_Length  : natural := 0;
+         The_Length  : Natural := 0;
          The_Content : Message (1 .. 60);
       end record;
 end CA11018_0;

Questions? Ask the ACAA Technical Agent