CVS difference for ai05s/ai05-0212-1.txt

--- ai05s/ai05-0212-1.txt	2011/03/17 03:01:59	1.9
+++ ai05s/ai05-0212-1.txt	2011/03/17 03:07:22	1.10
@@ -1,4 +1,4 @@
-!standard A.18.2(9/2)                                  11-03-15  AI05-0212-1/07
+!standard A.18.2(9/2)                                  11-03-16  AI05-0212-1/08
 !standard A.18.33(0)
 !class Amendment 10-04-26
 !status work item 10-04-26
@@ -445,7 +445,7 @@
 
          --  Update minimum distance to newly reachable nodes.
 
-         for E of G. Element (Next) loop
+         for E of G (Next) loop
             if not Reached (E.To) then
                Nearest_Distance :=
                  Distance'Min (So_Far (E.To) + So_Far (Next), So_Far (E.To));
@@ -481,7 +481,7 @@
 
 is a convenient short hand for
 
-   G.Reference (Next).Element.all
+   G.Constant_Reference (Next).Element.all
 
 Similarly, the effect of the loop:
 
@@ -1535,5 +1535,25 @@
 Sent: Tuesday, March 15, 2011  2:59 PM
 
 Of course, this was left-over from an earlier version. Will update
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, March 16, 2011  9:07 PM
+
+I've made this change to the AI.
+
+I also noticed that
+
+         for E of G. Element (Next) loop
+
+could be written
+
+         for E of G (Next) loop
+
+to take advantage of the Constant_Indexing facility. (I realize you probably
+removed that in order to compile it with GNAT today.) That seems important to
+tie into the descriptive text that I preserved from my older example. So I made
+this change as well.
 
 ****************************************************************