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

Differences between 1.7 and version 1.8
Log of other versions for file 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
 !standard 4.1.5(5/3)
 !standard 4.1.6(5/3)
 !standard 4.1.6(6/3)
@@ -6,6 +6,8 @@
 !standard 4.1.6(8/3)
 !standard 5.5.1(11/3)
 !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
 !priority Low
@@ -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
 discriminants.
@@ -42,7 +44,7 @@
 
 !wording
 
-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 @@
 
    with Pkg3;
    package Pkg4 is
-      type Priv is Pkg3.Parent with private;
+      type Priv is new Pkg3.Parent with private;
    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.
    end Pkg4;
 

Questions? Ask the ACAA Technical Agent