CVS difference for ai05s/ai05-0052-1.txt

Differences between 1.11 and version 1.12
Log of other versions for file 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
 !standard 7.5(8)
 !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