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

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

--- ai05s/ai05-0108-1.txt	2008/08/08 05:21:31	1.2
+++ ai05s/ai05-0108-1.txt	2008/12/02 06:01:19	1.3
@@ -1,5 +1,7 @@
-!standard 10.1.1(12.3/2)                                          08-07-12  AI05-0108-1/01
+!standard 10.1.1(12.3/2)                                          08-11-18  AI05-0108-1/02
 !class binding interpretation 08-07-12
+!status Amendment 201Z 08-11-26
+!status ARG Approved  8-0-0  08-10-31
 !status work item 08-07-12
 !status received 08-05-30
 !priority Low
@@ -9,7 +11,7 @@
 !summary
 
 The incomplete view of a type found in a limited view of a package does not have
-a discriminant part even if the full view of the type does have a discriminant
+a discriminant part even if some view of the type does have a discriminant
 part.
 
 !question
@@ -47,13 +49,13 @@
 
 Change 10.1.1(12.3/2):
 
-For each type_declaration in the visible part, an incomplete
-view of the type {with no discriminant_part}; if the type_declaration
-is tagged, then the view is a tagged incomplete view.
+* For each type_declaration in the visible part, an incomplete
+  view of the type {with no discriminant_part}; if the type_declaration
+  is tagged, then the view is a tagged incomplete view.
 
 AARM Ramification: The incomplete view of a type does not have
 a discriminant_part even if the the type_declaration does have
-one. This necessary because semantic analysis (and the associated
+one. This is necessary because semantic analysis (and the associated
 dependence on with_clauses) would be necessary
 to determine the types of the discriminants.
 

Questions? Ask the ACAA Technical Agent