CVS difference for 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