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

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

--- ai05s/ai05-0063-1.txt	2008/05/22 05:23:35	1.5
+++ ai05s/ai05-0063-1.txt	2008/07/08 03:33:26	1.6
@@ -1,5 +1,6 @@
-!standard 3.7(10/2)                                    08-04-09    AI05-0063-1/04
+!standard 3.7(10/2)                                    08-07-07    AI05-0063-1/05
 !class binding interpretation 07-09-06
+!status ARG Approved  8-0-0  08-06-21
 !status work item 08-05-21
 !status ARG Approved  5-0-3  08-02-09
 !status work item 07-09-06
@@ -11,10 +12,10 @@
 
 !summary
 
-Formal limited private types are immutably limited in a generic specification,
-but not in the generic body. A type derived from such a formal type in a
-generic unit can have access discriminants with defaults; the instance is
-rechecked based on the actual types.
+Formal limited private types are presumed to be immutably limited in a
+generic specification, but not in the generic body. A type derived from
+such a formal type in a generic unit can have access discriminants with
+defaults; the instance is rechecked based on the actual types.
 
 !question
 

Questions? Ask the ACAA Technical Agent