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

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

--- ai12s/ai12-0093-1.txt	2013/12/12 04:06:42	1.3
+++ ai12s/ai12-0093-1.txt	2014/05/09 01:18:27	1.4
@@ -1,4 +1,4 @@
-!standard 5.5.2(8/3)                                  13-12-11  AI05-0093-1/03
+!standard 5.5.2(8/3)                                  14-05-08  AI05-0093-1/04
 !standard 5.5.2(10/3)
 !class ramification 13-11-12
 !status Corrigendum 2014 13-12-11
@@ -12,7 +12,8 @@
 
 !summary
 
-No special rules are defined to allow indefinite cursors to work properly.
+No special rules are defined to allow indefinite cursors to work without raising
+unavoidable exceptions.
 
 !question
 
@@ -86,9 +87,9 @@
 
 GNAT raises Constraint_Error as described on this example.
 
-The fix suggested by the questioner was that we redo the definition to say
-that a new loop parameter is elaborated each time around the loop. However,
-that does not work, because the Next function takes the previous cursor as
+A suggested fix was that we redo the definition to say that a new loop
+parameter is elaborated each time around the loop. However, that does not
+work, because the Next function takes the previous cursor as
 a parameter, and returns the new cursor. The implementation would have to
 have two cursor objects, and switch between them for iterations; or we
 could define some sort of required tail-recursion optimization. Neither of
@@ -100,7 +101,7 @@
 inadvertently allowed indefinite types.
 
 So we make no change to the defined semantics. The loop parameter is defined
-as a variable which of which we have a constant view (the only assignments
+as a variable for which we have a constant view (the only assignments
 are part of the loop). We add a pair of AARM ramifications to more clearly
 define the accessibility of the loop parameter and the initialization of
 the loop parameter.
@@ -109,7 +110,7 @@
 the category of ALL types -- see 12.5.1(18.1/3). That means that LIMITED types
 also could be used as a cursor. While the instantiation would be legal, the
 expansion into a loop would be illegal because the implicit assignment to the
-loop parameter described in 5.52(10/3) is illegal. A note was also added to
+loop parameter described in 5.5.2(10/3) is illegal. A note was also added to
 this effect.
 
 !wording

Questions? Ask the ACAA Technical Agent