CVS difference for ai05s/ai05-0220-1.txt
--- ai05s/ai05-0220-1.txt 2010/08/13 05:32:36 1.3
+++ ai05s/ai05-0220-1.txt 2011/03/12 07:29:12 1.4
@@ -1,5 +1,7 @@
-!standard 4.3.1(17) 10-08-04 AI05-0220-1/01
+!standard 4.3.1(17) 11-03-11 AI05-0220-1/02
!class binding interpretation 10-06-13
+!status Amendment 2012 11-03-11
+!status ARG Approved 8-0-0 10-02-19
!status work item 10-06-13
!status received 10-03-16
!priority Low
@@ -31,8 +33,8 @@
4.3.1(9) says that the components that are "needed" are determined by the
"composite value"; that depends on the discriminant values.
-The discriminant values can be determined at runtime; in this case the
-needed components are not known until runtime. But "needed" components
+The discriminant values can be determined at run time; in this case the
+needed components are not known until run time. But "needed" components
participate in Legality Rules and clearly need to be known at compile-time.
4.3.1(17) attempts to require a static discriminant value, but it depends
@@ -128,8 +130,8 @@
compilers, it seems unlikely. In any case, such programs would not have been
portable to the majority of existing Ada compilers.
-Note that wording following "unless" exists to allow the last example of the
-!question to remain legal. This is necessary to avoid an unnecessary
+Note that wording following "unless" exists to allow the last example of
+the !question to remain legal. This is necessary to avoid an unnecessary
incompatibility: 3 out of 4 existing compilers currently allow this example.
There seems to be no important reason to change this result.
Questions? Ask the ACAA Technical Agent