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

--- ai05s/ai05-0248-1.txt	2011/04/30 06:04:58	1.3
+++ ai05s/ai05-0248-1.txt	2011/05/03 06:33:29	1.4
@@ -1,4 +1,4 @@
-!standard 11.4.1(10.1/2)                            11-04-28    AI05-0248-1/03
+!standard 11.4.1(10.1/2)                            11-05-02    AI05-0248-1/04
 !standard A.1(35)
 !standard A.4.10(0)
 !standard A.16(20)
@@ -11,8 +11,6 @@
 !standard A.18.2(239/2)
 !standard A.18.3(86/2)
 !standard A.18.3(88/2)
-!standard A.18.3(92/2)
-!standard A.18.3(94/2)
 !standard A.18.3(152/2)
 !standard A.18.4(41/2)
 !standard A.18.4(43/2)
@@ -126,9 +124,6 @@
 elements of Source are copied to Target as for an assignment_statement assigning
 Source to Target."
 
-In A.18.3(92/2), A.18.3(94/2), A.18.10(143/3), and A.18.10(145/3), add "; if
-Count equals zero, then Constraint_Error is propagated."
-
 In A.18.4(41.2/3), replace "Otherwise, each key/element pair of Source is
 assigned to the corresponding key/element pair of Target." with "Otherwise, the
 key/element pairs of Source are copied to Target as for an assignment_statement
@@ -437,44 +432,6 @@
 @xindent<If Target denotes the same object as Source, then the operation has no effect.
 Otherwise, equivalent to Assign (Target, Source) followed by Clear (Source).>
 
-!corrigendum A.18.3(92/2)
-
-@drepl
-@xindent<If Before is not No_Element, and does not designate an element in
-Container, then Program_Error is propagated. Otherwise, Insert allocates Count
-copies of New_Item, and inserts them prior to the element designated by Before.
-If Before equals No_Element, the new elements are inserted after the last
-element (if any). Position designates the first newly-inserted element. Any
-exception raised during allocation of internal storage is propagated, and
-Container is not modified.>
-@dby
-@xindent<If Before is not No_Element, and does not designate an element in
-Container, then Program_Error is propagated; if Count equals zero, then
-Constraint_Error is propagated. Otherwise, Insert allocates Count
-copies of New_Item, and inserts them prior to the element designated by Before.
-If Before equals No_Element, the new elements are inserted after the last
-element (if any). Position designates the first newly-inserted element. Any
-exception raised during allocation of internal storage is propagated, and
-Container is not modified.>
-
-!corrigendum A.18.3(94/2)
-
-@drepl
-@xindent<If Before is not No_Element, and does not designate an element in
-Container, then Program_Error is propagated. Otherwise, Insert inserts Count new
-elements prior to the element designated by Before. If Before equals No_Element,
-the new elements are inserted after the last node (if any). The new elements are
-initialized by default (see 3.3.1). Any exception raised during allocation of
-internal storage is propagated, and Container is not modified.>
-@dby
-@xindent<If Before is not No_Element, and does not designate an element in
-Container, then Program_Error is propagated; if Count equals zero, then
-Constraint_Error is propagated. Otherwise, Insert inserts Count new
-elements prior to the element designated by Before. If Before equals No_Element,
-the new elements are inserted after the last node (if any). The new elements are
-initialized by default (see 3.3.1). Any exception raised during allocation of
-internal storage is propagated, and Container is not modified.>
-
 !corrigendum A.18.3(152/2)
 
 @dinsa
@@ -2902,6 +2859,9 @@
 these. (We could also define a Positive_Count_Type subtype, but that seems to be
 overkill for this very isolated case, and it would be [slightly] incompatible
 for the existing List routines.)
+
+[Editor's Note: Later discussion cast doubt on this solution; it has been put
+into a separate AI.]
 
 ****************************************************************