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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0409-1.txt

--- ai12s/ai12-0409-1.txt	2021/01/19 06:31:51	1.6
+++ ai12s/ai12-0409-1.txt	2021/07/09 03:04:39	1.7
@@ -1,4 +1,4 @@
-!standard 10.2.1(4.1/2)                                20-12-18  AI12-0409-1/04
+!standard 10.2.1(4.1/2)                                21-07-07  AI12-0409-1/05
 !standard 10.2.1(4.2/2)
 !standard 10.2.1(11.1/2)
 !standard 10.2.1(11.2/2)
@@ -238,60 +238,68 @@
 
 Add after A.18.19(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Vector
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
         
 Add after A.18.20(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type List
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
 
 Add after A.18.21(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Map
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
-          and
-        Key_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
+            and
+         Key_Type'Preelaborable_Initialization
         
 Add after A.18.22(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Map
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
-          and
-        Key_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
+            and
+         Key_Type'Preelaborable_Initialization
         
 Add after A.18.23(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Set
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
 
 Add after A.18.24(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Set
+    is changed to:
   
       Preelaborable_Initialization =>
-        Element_Type'Preelaborable_Initialization
+         Element_Type'Preelaborable_Initialization
 
 Add after A.18.25(5/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Tree
+    is changed to:
   
       Preelaborable_Initialization =>
         Element_Type'Preelaborable_Initialization
 
 Add after A.18.32(6/5):
 
-  * the aspect_definition for Preelaborable_Initialization is changed to:
+  * The aspect_definition for Preelaborable_Initialization for type Holder
+    is changed to:
   
       Preelaborable_Initialization =>
         Element_Type'Preelaborable_Initialization
@@ -513,6 +521,95 @@
 of a type-related representation aspect is not allowed for a descendant of 
 a generic formal untagged type.
 
+!corrigendum A.18.19(5/5)
+
+@dinsa
+@xcode<   @b<type> Vector (Capacity : Count_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Vector is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.20(5/5)
+
+@dinsa
+@xcode<   @b<type> List (Capacity : Count_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+List is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.21(5/5)
+
+@dinsa
+@xcode<   @b<type> Map (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Map is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization
+         @b<and>
+      Key_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.22(5/5)
+
+@dinsa
+@xcode<   @b<type> Map (Capacity : Count_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Map is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization
+         @b<and>
+      Key_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.23(5/5)
+
+@dinsa
+@xcode<   @b<type> Set (Capacity : Count_Type;
+            Modulus  : Hash_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Set is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.24(5/5)
+
+@dinsa
+@xcode<   @b<type> Set (Capacity : Count_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Set is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.25(5/5)
+
+@dinsa
+@xcode<   @b<type> Tree (Capacity : Count_Type) @b<is tagged private>...>
+@dinss
+@xbullet<The @fa<aspect_definition> for Preelaborable_Initialization for type
+Tree is changed to:>
+  
+@xcode<   Preelaborable_Initialization =@>
+      Element_Type'Preelaborable_Initialization>
+
+!corrigendum A.18.32(0)
+
+@dinsc
+
+See the conflict file for the changes.
+
 !corrigendum J.15.14(0)
 
 @dinsc
@@ -1388,5 +1485,29 @@
 ---
 
 I've treated these as my editorial review.
+
+****************************************************************
+
+Editor, July 7, 2020
+
+For bounded vectors, the new bullet starts:
+
+The aspect_definition for Preelaborable_Initialization is changed to:
+
+However, there are two aspect_definitions for Preelaborable_Initialization
+in the package, one for type Vector and one for type Cursor. We only mean
+to change the first. This is sort of implied by the position of the new
+bullet (between two existing bullets that talk about type Vector), but it
+would be better to be explicit.
+
+Thus, I changed this to:
+
+The aspect_definition for Preelaborable_Initialization for type Vector is
+changed to:
+
+A corresponding change was made to the new bullet for all of the other
+bounded containers.
+
+I've treated this as another part of my editorial review.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent