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
 !qualifier Omission
@@ -11,7 +11,7 @@
 
 !summary
 
-A formal derived type of a scalar is never a static subtype.
+A scalar formal derived type is never a static subtype.
 
 !question
 
@@ -28,7 +28,7 @@
       generic
           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.)
       end G;
 
       subtype S is E range Bb .. Bb;
@@ -77,10 +77,10 @@
 !discussion
 
 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