CVS difference for ai22s/ai22-0098-1.html

Differences between 1.3 and version 1.4
Log of other versions for file ai22s/ai22-0098-1.html

--- ai22s/ai22-0098-1.html	2024/04/19 07:15:53	1.3
+++ ai22s/ai22-0098-1.html	2024/05/02 05:43:02	1.4
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0098-1/03</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0098-1/04</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:540pt; padding:36pt 36pt 36pt 36pt}
@@ -17,10 +17,10 @@
 </head><body class="body"><p class="anum">AI22-0098-1</p>
-<p class="head">!standard 4.3.5(61/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;24-04-18
-<p class="head">!standard 4.3.5(63/5)</p>
+<p class="head">!standard 4.3.5(60/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;24-05-01
+<p class="head">!standard 4.3.5(62/5)</p>
 <p class="head">!standard 4.5.2(9.8/6)</p>
 <p class="head">!standard 7.6.1(12/2)</p>
 <p class="head">!standard 10.2.1(18/6)</p>
@@ -49,10 +49,10 @@
 put the paragraph there instead? (Yes.)</p>
 <p class="txts">(4) AI22-0002-1 eliminated the possibility of using an object to initialize a
-container aggregate. But the example at 4.3.5(61/5) uses such an object. This should be replaced by
+container aggregate. But the example at 4.3.5(60/5) uses such an object. This should be replaced by
 a parameterless function, right? (Yes.)</p>
-<p class="text">(5) The function in the example at 4.3.5(63/5) declares the Capacity parameter to
+<p class="text">(5) The function in the example at 4.3.5(62/5) declares the Capacity parameter to
 be of subtype Integer. But a negative Capacity doesn&rsquo;t make any sense; the subtype of the
 parameter should be Natural, right? (Yes.)</p>
 <h2 class="head">!recommendation</h2>
@@ -65,16 +65,20 @@
 <p class="txts">(2) Restore the missing sentence.</p>
-<p class="text">(3) Put the paragraph in the more natural place.</p>
+<p class="txts">(3) Put the paragraph in the more natural place.</p>
+<p class="txts">(4) Use a function to initialize the container aggregate in the example.</p>
+<p class="text">(5) Correct the subtype of the parameter.</p>
 <h2 class="head">!wording</h2>
-<p class="inst">Replace 4.3.5(61/5) by:</p>
+<p class="inst">Replace 4.3.5(60/5) by:</p>
 <p class="cbin"><b>function</b> Empty_Map <b>return</b> Map_Type;</p>
 <p class="word">&nbsp;</p>
 <p class="word">[Editor&rsquo;s note: The paragraph numbers of this example and the following one
 have changed in the latest draft of the RM. We&rsquo;ve used the paragraph numbers from the Ada
 2022 RM here.]</p>
-<p class="inst">Modify 4.3.5(63/5):</p>
+<p class="inst">Modify 4.3.5(62/5):</p>
 <p class="cbin"><b>function</b> Empty_Vector (Capacity : {Natural}[Integer] := 0)<br>
 &nbsp; &nbsp;<b>return</b> Vector_Type;</p>
 <p class="inst">Modify 4.5.2(9.8/6):</p>
@@ -134,21 +138,21 @@
 <p class="text">(5) While this is only an example, it makes sense to show good practice in these
 examples. There is no meaning for a negative capacity (the Ada.Containers use Count_Type for
-capacity parameters; this type only has positive values). Since we have a handy subtype that
+capacity parameters; that type only has positive values). Since we have a handy subtype that
 excludes negative values, we should use it.</p>
 <h2 class="head">!example</h2>
 <p class="text">None needed for presentation issues.</p>
-<h2 class="head">!corrigendum 4.3.5(61/5)</h2>
+<h2 class="head">!corrigendum 4.3.5(60/5)</h2>
 <p class="text">@drepl</p>
-<p class="text">@xcode{Empty_Map : @b{constant} Map_Type;}</p>
+<p class="text">@xcode{ &nbsp; Empty_Map : @b{constant} Map_Type;}</p>
 <p class="text">@dby</p>
-<p class="text">@xcode{@b{function} Empty_Map @b{return} Map_Type;}</p>
-<h2 class="head">!corrigendum 4.3.5(63/5)</h2>
+<p class="text">@xcode{ &nbsp; @b{function} Empty_Map @b{return} Map_Type;}</p>
+<h2 class="head">!corrigendum 4.3.5(62/5)</h2>
 <p class="text">@drepl</p>
-<p class="text">@xcode{@b{function} Empty_Vector (Capacity : Integer := 0) @b{return}
+<p class="text">@xcode{ &nbsp; @b{function} Empty_Vector (Capacity : Integer := 0) @b{return}
 <p class="text">@dby</p>
-<p class="text">@xcode{@b{function} Empty_Vector (Capacity : Natural := 0) @b{return}
+<p class="text">@xcode{ &nbsp; @b{function} Empty_Vector (Capacity : Natural := 0) @b{return}
 <h2 class="head">!corrigendum 4.5.2(9.8/6)</h2>
 <p class="text">@drepl</p>

Questions? Ask the ACAA Technical Agent