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