CVS difference for ai05s/ai05-0028-1.txt
--- ai05s/ai05-0028-1.txt 2008/11/27 00:01:29 1.9
+++ ai05s/ai05-0028-1.txt 2011/11/01 05:32:50 1.10
@@ -105,8 +105,8 @@
the actual for each {discriminated formal derived type, }formal private type{,} [(]or
{formal private} extension[)] declared within the formal part of the generic unit is
-a type that does not have preelaborable initialization{, unless pragma
-Preelaborable_Initialization has been applied to the formal type};
+a [private] type [(or extension)] that does not have preelaborable initialization{,
+unless pragma Preelaborable_Initialization has been applied to the formal type};
For question 4, change the second sentence of 10.2.1(11.4/2) as follows:
@@ -195,8 +195,6 @@
@dby
@xbullet<The creation of an object (including a component) that is initialized
by default, if its type does not have preelaborable initialization. Similarly,
-of a descendant of a private type, private extension, controlled type,
-task type, or protected type with @fa<entry_declaration>s; similarly
the evaluation of an @fa<extension_aggregate> with
an ancestor @fa<subtype_mark> denoting a subtype of such a type.>
Questions? Ask the ACAA Technical Agent