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