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

--- ai12s/ai12-0430-1.txt	2021/05/28 04:52:03	1.1
+++ ai12s/ai12-0430-1.txt	2021/05/30 00:26:28	1.2
@@ -1,4 +1,4 @@
-!standard 3.3.1(31/2)                                   21-05-27  AI12-0430-1/01
+!standard 3.3.1(31/2)                                   21-05-28  AI12-0430-1/02
 !standard 3.6.1(13)
 !standard 3.8(27)
 !standard 3.8.1(25)
@@ -6,6 +6,7 @@
 !standard 4.3.5(92/5)
 !standard 4.3.5(93/5)
 !standard 9.4(31)
+!standard H.7.1(0)
 !class presentation 21-05-24
 !status Amendment 1-2012 21-05-24
 !status work item 21-05-24
@@ -60,6 +61,22 @@
 
 In 9.4(31), "return" and "others" should be bold.
 
+Add after H.7.1(17/5):
+
+Examples
+
+An example of use of the Dispatching aspect:
+
+procedure My_Write(  --  see 13.13.2
+    Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+    Item   : My_Integer'Base)
+    with Dispatching => Write(Stream);
+for My_Integer'Write use My_Write;
+
+For examples of use of the Use_Formal aspect, see the Element functions of 
+Hashed_Sets in A.18.8.
+
+
 !discussion
 
 (See !summary.)
@@ -143,6 +160,10 @@
    Table : Item_Array(Index) := (@b<others> =@> Null_Item);
 @b<end> Shared_Array;>
 
+!corrigendum H.7.1(0)
+
+@dinsc
+See the conflict file for the changes.
 
 !ASIS
 
@@ -238,5 +259,26 @@
 From the WG 9 review, Issue #58 - Pat Rogers
 
 4.5.8 (12/3) The assertion that a positive number {N} is composite ...
+
+****************************************************************
+
+From the WG 9 review, Issue #81 - Tucker Taft
+
+H.7.1 could use examples of Use_Formal and Dispatching
+
+I suggest:
+
+Examples
+
+An example of use of the Dispatching aspect:
+
+procedure My_Write(  --  see 13.13.2
+    Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+    Item   : My_Integer'Base)
+    with Dispatching => Write(Stream);
+for My_Integer'Write use My_Write;
+
+For examples of use of the Use_Formal aspect, see the Element functions of 
+Hashed_Sets in A.18.8.
 
 ****************************************************************