CVS difference for ai05s/ai05-0052-1.txt
--- ai05s/ai05-0052-1.txt 2008/05/29 07:10:35 1.11
+++ ai05s/ai05-0052-1.txt 2008/07/08 03:32:51 1.12
@@ -1,4 +1,4 @@
-!standard 4.8(5.3/2) 08-05-28 AI05-0052-1/09
+!standard 4.8(5.3/2) 08-07-07 AI05-0052-1/10
!class binding interpretation 07-05-15
!status work item 08-05-21
@@ -125,7 +125,7 @@
* A task type, a protected type, or a synchronized
- * A descendant of an immutably limited type.
+ * A type derived from an immutably limited type.
AARM Discussion: An immutably limited type is a type that cannot become nonlimited
subsequently in a private part or in a child unit. If a view of the type
@@ -134,8 +134,8 @@
for instance, it is safe for such objects to have access discriminants that
have defaults or designate other limited objects.
-AARM Ramification: A limited interface is not immutably limited; a type derived
-from it can be nonlimited.
+AARM Ramification: A non-synchronized limited interface is not immutably limited;
+a type derived from it can be nonlimited.
A descendant of a generic formal limited private type is
presumed to be immutably limited except within the body
@@ -234,7 +234,7 @@
coextension type turns out to be limited and the real type of the type with
the access discriminant is not limited.
-Note that this rule in incompatible with Ada 95 in unusual cases; those
+Note that this rule is incompatible with Ada 95 in unusual cases; those
where a coextension is created with a limited type (including limited private types)
and the type with the discriminant is not known to be limited (a limited
private type, the only case where an access discriminant is allowed on
Questions? Ask the ACAA Technical Agent