CVS difference for ais/ai-00263.txt
--- ais/ai-00263.txt 2002/10/29 20:24:57 1.6
+++ ais/ai-00263.txt 2002/12/04 23:43:39 1.7
@@ -1,7 +1,7 @@
-!standard 4.09 (29) 02-10-25 AI95-00263/02
+!standard 4.09 (29) 02-11-27 AI95-00263/03
!class binding interpretation 01-02-22
!status Amendment 200Y 02-10-25
-!status ARG approved 10-0-0 02-10-12
+!status ARG Approved 10-0-0 02-10-12
!status work item 01-02-22
!status received 01-02-22
@@ -11,7 +11,7 @@
-A formal derived type of a scalar is never a static subtype.
+A scalar formal derived type is never a static subtype.
@@ -28,7 +28,7 @@
type D is new E'Base;
package G is
- Last_D : constant := D'Pos (D'Last);
+ Last_D : constant := D'Pos (D'Last); -- Legal? (No.)
subtype S is E range Bb .. Bb;
@@ -77,10 +77,10 @@
An important design principle of Ada is that a static expression has the same
-value in all instances. 4.9(26) ensures that by declaring that descendants of
-formal scalar types are not static. However, this rule does not cover
-formal derived types that happen to be scalar. This was a clear oversight.
-Thus, "formal scalar type" is changed to "formal type" in 4.9(26).
+value in all instances. 4.9(26) ensures this for most cases by declaring that
+descendants of formal scalar types are not static. However, this rule does not
+cover formal derived types that happen to be scalar. This was a clear
+oversight. Thus, "formal scalar type" is changed to "formal type" in 4.9(26).
Similarly, we need to answer the analogous question for static string subtypes.
The two cases of a formal array type and a formal derived array type ought to
Questions? Ask the ACAA Technical Agent