CVS difference for ai12s/ai12-0217-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0217-1.txt

--- ai12s/ai12-0217-1.txt	2017/07/21 03:41:49	1.2
+++ ai12s/ai12-0217-1.txt	2017/09/08 02:14:02	1.3
@@ -1,4 +1,4 @@
-!standard 6.1.1(24/3)                                  17-07-20  AI12-0217-1/02
+!standard 6.1.1(24/3)                                  17-09-07  AI12-0217-1/03
 !standard 6.1.1(27/3)
 !class binding interpretation 17-01-09
 !status Amendment 1-2012 17-07-20
@@ -8,11 +8,12 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject 6.1.1(27/3) should be less restrictive
+!subject Rules regarding restrictions on the use of the Old attribute are too strict
+
 !summary
 
-6.1.1(27/3) should allow some indexed and selected components as the
-prefix of potentially unevaluated Old attribute references.
+The rules in 6.1.1(27/3) should allow some indexed and selected components as
+the prefix of potentially unevaluated Old attribute references.
 
 !question
 
@@ -80,10 +81,11 @@
 an exception when evaluated. (Note that we're talking about the evaluation
 of the prefix itself, not the evaluation of the value of the prefix; an
 invalid value can always raise an exception.) In order to do that, we define
-a new term (as it has to be recursive) that allows selected_components that
+the new term "statically names" that allows selected_components that
 don't include implicit dereferences and do not depend on a discriminant,
 and indexed_components with static indexes where the object is statically
-constrained.
+constrained. (We have to define a term as the definition is necessarily
+recursive.)
 
 Other names could have been allowed (for instance, a dereference of a null
 excluding access subtype), but we don't want to make this too complicated.

Questions? Ask the ACAA Technical Agent