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

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0063-1.txt

--- ai05s/ai05-0063-1.txt	2008/03/07 06:15:19	1.3
+++ ai05s/ai05-0063-1.txt	2008/05/10 05:14:33	1.4
@@ -1,4 +1,4 @@
-!standard 3.7(10/2)                                    08-02-24    AI05-0063-1/03
+!standard 3.7(10/2)                                    08-04-09    AI05-0063-1/04
 !class binding interpretation 07-09-06
 !status ARG Approved  5-0-3  08-02-09
 !status work item 07-09-06
@@ -68,7 +68,7 @@
 Moreover, this seems to be an incompatibility with Ada 95. The Ada 95 wording
 did allow formal private types so long as the actual had the correct properties.
 
-The definition of "immutably limited" is designed to allow this semantics
+The definition of "immutably limited" allows assume-the-best semantics
 in generic specifications (the rechecking of the instance will catch any problems),
 so we reword this rule in terms of "immutably limited".
 

Questions? Ask the ACAA Technical Agent