CVS difference for ais/ai-00419.txt

--- ais/ai-00419.txt	2005/06/16 23:47:43	1.5
+++ ais/ai-00419.txt	2005/08/05 04:38:21	1.6
@@ -1,4 +1,4 @@
-!standard 3.4(01)                                   05-05-05  AI95-00419-01/04
+!standard 3.4(01)                                   05-07-12  AI95-00419-01/05
 !standard 3.4(02)
 !standard 3.4(03)
 !standard 3.4(05)
@@ -158,7 +158,7 @@
 
 Change 3.9.1(3):
 
-... If the [parent type]{record extension} is nonlimited, ...
+... If the parent type{ or any progenitor} is nonlimited, ...
 
 
 Add the following at the end of the Static Semantics of the new subclause 3.9.4:
@@ -357,11 +357,12 @@
 these rules apply also in the private part of an instance of a generic unit.
 @dby
 The parent type of a record extension shall not be a class-wide type. If the
-record extension is nonlimited, then each of the components of the
-@fa<record_extension_part> shall be nonlimited. The accessibility level (see 3.10.2)
-of a record extension shall not be statically deeper than that of its parent
-type. In addition to the places where Legality Rules normally apply (see 12.3),
-these rules apply also in the private part of an instance of a generic unit.
+parent type or any progenitor is nonlimited, then each of the components of
+the @fa<record_extension_part> shall be nonlimited. The accessibility level
+(see 3.10.2) of a record extension shall not be statically deeper than that of
+its parent type. In addition to the places where Legality Rules normally apply
+(see 12.3), these rules apply also in the private part of an instance of a
+generic unit.
 
 !corrigendum 3.9.4(01)
 !comment Dummy to cause a conflict.