CVS difference for ai05s/ai05-0092-1.txt

--- ai05s/ai05-0092-1.txt	2009/04/30 06:19:47	1.6
+++ ai05s/ai05-0092-1.txt	2009/07/11 03:06:22	1.7
@@ -1,4 +1,4 @@
-!standard  3.3.1(20.4/2)                                09-04-27  AI05-0092-1/05
+!standard  3.3.1(20.4/2)                                09-07-06  AI05-0092-1/06
 !standard  3.9(25.1/2)
 !standard  6.3.1(21.1/2)
 !standard  9.6(22)
@@ -8,6 +8,12 @@
 !standard A.11(4/2)
 !standard A.11(5/2)
 !standard A.16(68/2)
+!standard A.18.10(2/2)
+!standard A.18.11(2/2)
+!standard A.18.12(2/2)
+!standard A.18.13(2/2)
+!standard A.18.14(2/2)
+!standard A.18.15(2/2)
 !standard G.2.2(11)
 !class presentation 08-03-05
 !status work item 06-03-05
@@ -45,6 +51,9 @@
 
 11) Add a default of "" to the Form parameter.
 
+12) The existing indefinite container forms have differences in contents and in
+semantics.
+
 !question
 
 1) Generally, "must" shall not be used in normative rules of the standard. However,
@@ -76,6 +85,10 @@
 11) A.16(13/2) includes a default of "" for the Form parameter, but A.16(68/2) does
 not. Should A.16(68/2) have a default for the Form parameter? (Yes.)
 
+12) A.18.10(2/2) [and the other 5 indefinite container forms] says that the contents
+of package Indefinite_Vectors differs from the contents of package Vectors, but the
+semantics is changed in various ways as well. Should the wording reflect this? (Yes.)
+
 [Other questions here.]
 
 !recommendation
@@ -108,6 +121,9 @@
 
 11) Replace "Form : in String);" with "Form : in String := "");" in A.16(68/2).
 
+12) Add "and semantics" after "contents" in A.18.10(2/2), A.18.11(2/2), A.18.12(2/2),
+A.18.13(2/2), A.18.14(2/2), and A.18.15(2/2).
+
 !discussion
 
 1) 3.3.1(20.4/2) uses "must precede", while 3.3.1(20.1-3/2) use "is preceded by".
@@ -147,6 +163,11 @@
 Since Form parameters generally default to "", we believe that A.16(13/2) is
 correct and change A.16(68/2) to match.
 
+12) It is obvious that more than just the contents are changed for the indefinite
+forms. For instance, A.18.10(8/2) is not referring to the contents of the package.
+It is best if the wording reflects that.
+
+
 !corrigendum 3.3.1(20.4/2)
 
 @drepl
@@ -317,6 +338,60 @@
                      Target_Name : @b<in> String;
                      Form        : @b<in> String := "");>
 
+!corrigendum A.18.10(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Vectors has
+the same contents as Containers.Vectors except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Vectors has
+the same contents and semantics as Containers.Vectors except:
+
+!corrigendum A.18.11(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Doubly_Linked_Lists
+has the same contents as Containers.Doubly_Linked_Lists except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Doubly_Linked_Lists has
+the same contents and semantics as Containers.Doubly_Linked_Lists except:
+
+!corrigendum A.18.12(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Hashed_Maps has
+the same contents as Containers.Hashed_Maps except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Hashed_Maps has
+the same contents and semantics as Containers.Hashed_Maps except:
+
+!corrigendum A.18.13(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Ordered_Maps has
+the same contents as Containers.Ordered_Maps except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Ordered_Maps has
+the same contents and semantics as Containers.Ordered_Maps except:
+
+!corrigendum A.18.14(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Hashed_Sets has
+the same contents as Containers.Hashed_Sets except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Hashed_Sets has
+the same contents and semantics as Containers.Hashed_Sets except:
+
+!corrigendum A.18.15(2/2)
+
+@drepl
+The declaration of the generic library package Containers.Indefinite_Ordered_Sets has
+the same contents as Containers.Ordered_Sets except:
+@dby
+The declaration of the generic library package Containers.Indefinite_Ordered_Sets has
+the same contents and semantics as Containers.Ordereds except:
+
 !corrigendum G.2.2(11)
 
 @drepl
@@ -678,5 +753,19 @@
 anyway, but it doesn't seem important enough to do in general.
 (This sort of thing made a mess for the automatic syntax link generator for the
 HTML version of the Standard.)
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Monday, July 6, 2009  7:42 PM
+
+The minutes of the Tallahassee ARG meeting say (under AI05-0001-1):
+
+Change the introductory paragraph to say "...change the contents {and semantics} of the
+package...". That makes it clear that the semantics also are changed. Really should make
+that change to all of the indefinite forms as well.
+
+The last sentence was intended to cover all of the *existing* indefinite forms as well
+as the new ones.
 
 ****************************************************************