CVS difference for ais/ai-00344.txt

Differences between 1.8 and version 1.9
Log of other versions for file ais/ai-00344.txt

--- ais/ai-00344.txt	2004/07/27 23:00:59	1.8
+++ ais/ai-00344.txt	2004/09/04 01:13:45	1.9
@@ -1,4 +1,4 @@
-!standard  3.09    (04)                               04-07-01  AI95-00344/04
+!standard  3.09    (04)                               04-08-25  AI95-00344/05
 !standard  3.09    (07)
 !standard  3.09    (12)
 !standard  3.09.01 (03)
@@ -121,8 +121,13 @@
 
     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 of the generic unit.
+    of a formal type declared within the formal part of the generic unit.
 
+    AARM Note: The convuluted wording ("formal type declared within the formal
+    part") is necessary to include tagged types that are formal parameters of
+    formal packages of the generic unit, as well as formal tagged and tagged
+    formal derived types of the generic unit.
+
 Add after 4.8(5):
 
     If the designated type of the type of the allocator is class-wide, the
@@ -386,7 +391,7 @@
 @dby
 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 of the generic unit.
+of a formal type declared within the formal part of the generic unit.
 
 
 !corrigendum 04.08(05)

Questions? Ask the ACAA Technical Agent