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