CVS difference for ai05s/ai05-0139-2.txt

Differences between 1.11 and version 1.12
Log of other versions for file ai05s/ai05-0139-2.txt

--- ai05s/ai05-0139-2.txt	2011/02/15 04:57:58	1.11
+++ ai05s/ai05-0139-2.txt	2011/03/17 05:27:45	1.12
@@ -1,4 +1,4 @@
-!standard 4.1(2/2)                                    11-02-14  AI05-0139-2/08
+!standard 4.1(2/2)                                    11-03-16  AI05-0139-2/09
 !standard 4.1.5(0)
 !standard 4.1.6(0)
 !standard 5.5(3)
@@ -436,7 +436,8 @@
 
   4.1.5 User-Defined References
 
-  Given a discriminated type T, the following aspect may be specified:
+  Given a discriminated type T, the following type-related operational aspect
+    may be specified:
 
      Implicit_Dereference  This aspect is specified by a name that denotes
        an access discriminant declared for the type T.
@@ -507,7 +508,8 @@
 
   4.1.6 User-Defined Indexing
 
-  Given a tagged type T, the following aspects may be specified:
+  Given a tagged type T, the following type-related, operational aspects
+    may be specified:
 
   Constant_Indexing  This aspect shall be specified by a name that
     denotes one or more functions declared immediately within the same
@@ -624,7 +626,8 @@
    Ada.Iterator_Interfaces is the /iteration cursor subtype/ for the iterator
    type.
 
-   The following aspects may be specified for an indexable type T (see 4.1.6):
+   The following type-related operational aspects may be specified
+     for an indexable type T (see 4.1.6):
 
      Default_Iterator  This aspect is specified by a name that denotes
        exactly one function declared immediately within the same
@@ -3810,5 +3813,31 @@
 intelligible. Also, we now allow multi-dimensional arrays in an array
 component iterator, using the canonical ordering used for streams
 (last dimension varying fastest).
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Wednesday, March 16, 2011  4:48 PM
+
+My homework assignment included:
+
+   AI05-0139-2: Add wording to define what happens when a private type with
+   indexing is completed with an array type (which has default indexing).
+
+This is a non-issue, because only tagged types may have indexing aspects specified.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Wednesday, March 16, 2011  10:07 PM
+
+Here is a very minor update to the AI on syntactic sugar for indexing,
+accessors, etc.  Mainly we just made it clear that the associated aspects were
+type-related operational aspects.  Most of the work was in AI-183.
+
+[This is version /09 of the AI - Editor.]
+
+The concern about indexing aspects applied to a private type that turned out to
+be an array type was a red herring -- these are only defined for tagged types.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent