CVS difference for 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