CVS difference for ai12s/ai12-0138-1.txt
--- ai12s/ai12-0138-1.txt 2015/03/24 22:22:45 1.7
+++ ai12s/ai12-0138-1.txt 2015/03/28 03:03:02 1.8
@@ -1,4 +1,4 @@
-!standard 13.1.1(34/3) 15-03-24 AI05-0138-1/06
+!standard 13.1.1(34/3) 15-03-27 AI05-0138-1/07
@@ -6,6 +6,8 @@
!class binding interpretation 14-10-13
+!status Corrigendum 2015 15-03-26
+!status ARG Approved 8-0-2 15-03-26
!status work item 14-10-13
!status received 14-06-26
@@ -17,7 +19,7 @@
We define the notion of "nonoverridable" aspects, and declare
Default_Iterator, Iterator_Element, Implicit_Dereference,
Constant_Indexing, and Variable_Indexing to be nonoverridable aspects.
-The value of these aspects are names which must not be changed for a
+The values of these aspects are names that must not be changed for a
derived type (their value can be confirmed), though in each type it is
expected that the name might denote different subprograms, types, or
@@ -42,7 +44,7 @@
-Insert after 13.1.1(34/3) (and perhaps add "Legality Rules" in front of 34/3):
+Insert after 13.1.1(34/3) (and add "Legality Rules" in front of 34/3):
Certain type-related aspects are defined to be *nonoverridable*; all such
aspects are specified using an ASPECT_DEFINITION that is a NAME.
@@ -51,7 +53,7 @@
explicit specification of that aspect for any other descendant of T
shall be *confirming*; that is, the specified NAME shall *match* the
inherited aspect, meaning that the specified NAME shall denote the
- same entities as would the inherited NAME.
+ same declarations as would the inherited NAME.
If a full type has a partial view, and a given nonoverridable aspect
is allowed for both the full view and the partial view, then the given
@@ -154,9 +156,9 @@
package Pkg4 is
- type Priv is Pkg3.Parent with private;
+ type Priv is new Pkg3.Parent with private;
- type Priv is Pkg3.Child with null record;
+ type Priv is new Pkg3.Child with null record;
-- Illegal by new rule: Priv would have hidden Implicit_Dereference.
Questions? Ask the ACAA Technical Agent