CVS difference for ais/ai-00344.txt

--- ais/ai-00344.txt	2004/11/14 06:37:14	1.11
+++ ais/ai-00344.txt	2004/11/17 00:52:55	1.12
@@ -1,8 +1,9 @@
-!standard  3.09    (04)                               04-11-07  AI95-00344/07
+!standard  3.09    (04)                               04-11-15  AI95-00344/07
 !standard  3.09    (07)
 !standard  3.09    (12)
 !standard  3.09.01 (03)
 !standard  3.09.01 (04)
+!standard  3.09.01 (07)
 !standard  4.08    (05)
 !standard  4.08    (07)
 !standard  6.05    (20)
@@ -128,6 +129,8 @@
     formal packages of the generic unit, as well as formal tagged and tagged
     formal derived types of the generic unit.
 
+Delete the first sentence of 3.9.1(7).
+
 Add after 4.8(5):
 
     If the designated type of the type of the allocator is class-wide, the
@@ -392,6 +395,20 @@
 Within the body of a generic unit, or the body of any of its descendant
 library units, a tagged type shall not be declared as a descendant
 of a formal type declared within the formal part of the generic unit.
+
+
+!corrigendum 03.09.01(07)
+
+@drepl
+The accessibility rules imply that a tagged type declared in a
+@fa<library package_specification> can be extended only at library level or as
+a generic formal. When the extension is declared immediately within a
+@fa<package_body>, primitive subprograms are inherited and are overridable,
+but new primitive subprograms cannot be added.
+@dby
+When an extension is declared immediately within a
+@fa<package_body>, primitive subprograms are inherited and are overridable,
+but new primitive subprograms cannot be added.
 
 
 !corrigendum 04.08(05)