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

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

--- ai22s/ai22-0033-1.html	2023/05/27 07:11:57	1.2
+++ ai22s/ai22-0033-1.html	2023/07/12 01:01:03	1.3
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0033-1/02</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0033-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -13,16 +13,18 @@
 </head><body class="body"><p class="l3h">AI22-0033-1</p>
 <p class="head">!standard 1.3.1(6/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-05-26 &nbsp;AI22-0033-1/02</p>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-07-10 &nbsp;AI22-0033-1/03</p>
 <p class="head">!standard 1.3.3(1/5)</p>
 <p class="head">!class presentation 23-03-23</p>
+<p class="head">!status Corrigendum 1-2022 &nbsp;23-07-10</p>
+<p class="head">!status ARG Approved &nbsp;9-0-0 &nbsp;23-06-12</p>
 <p class="head">!status work item 23-03-23</p>
 <p class="head">!status received 23-03-23</p>
 <p class="head">!priority Very_Low</p>
 <p class="head">!difficulty Easy</p>
 <p class="head">!subject Additional terms and definitions</p>
 <h2 class="head">!summary</h2>
-<p class="text">Add additional terms as needed.</p>
+<p class="text">Define additional terms as needed.</p>
 <h2 class="head">!issue</h2>
 <p class="text">A number of important terms are missing from the Terms and Definitions sections. We
 should add more, and possibly reorganize some that we already have.</p>
@@ -30,56 +32,64 @@
 <p class="text">(See Summary.)</p>
 <h2 class="head">!wording</h2>
 <p class="text">Add after 1.3.1(6/5):</p>
-<p class="txts">allocator. creator of an access value that designates an object.</p>
+<p class="txts">allocator. &nbsp;expression
+that&nbsp;allocates<sup><a href="#cmnt1" name="cmnt_ref1">[a]</a></sup> and initializes an object
+and yields an access value that designates it.</p>
+<p class="text">Add after 1.3.1(20/5):</p>
+<p class="txts">declarative region. &nbsp;portion of the program that includes the text of a
+construct together with the text where nested declarations can occur.</p>
 <p class="text">Add after 1.3.1(21/5):</p>
-<p class="txts">denotes. &nbsp;indicates the name (of an entity).</p>
+<p class="txts">denotes. &nbsp;identifies an object, subprogram, declared entity, or
+attribute&nbsp;thereof<sup><a href="#cmnt2" name="cmnt_ref2">[b]</a></sup>.</p>
 <p class="txts">derivation class. &nbsp;set of a root type and all types derived from it.</p>
+<p class="text">Add after 1.3.1(26/5):</p>
+<p class="txts">designates. &nbsp;refers to an object or subprogram via an access value.</p>
 <p class="text">Add after 1.3.1(73/5):</p>
-<p class="text">statically denotes.</p>
-<p class="txts">[I think finding a plain English summary of the formal definition in 4.9(14-17) is
-beyond me.]</p>
-<p class="text">statically names.</p>
-<p class="txts">[I think finding a plain English summary of the formal definition in
-4.9(17.1/5-17.5/5) is beyond me. &nbsp;AI12-0368&#39;s difference between name and denote is too
-subtle for me! - the first defintion of &quot;denote&quot; that I found said &quot;gives the name
+<p class="txts">statically denotes. &nbsp;denotes (an attribute of) a declaration directly, or
+through a renaming.</p>
+<p class="txts">statically names. &nbsp;statically denotes an object, or a subcomponent of a
+statically denoted object where any selectors denote subcomponents that are not
+discriminant-dependent, and any indexing is statically within static bounds.</p>
 <p class="text">Add after 1.3.2(1/5):</p>
-<p class="txts">homograph. &nbsp;declaration with the same name and a type conformant parameter
-(and result) profile.</p>
+<p class="txts">homograph. &nbsp;declaration with the same name and, if overloadable, a type
+conformant parameter (and result) profile.</p>
-<p class="txts">overloaded subprogram. &nbsp;subprogram with a multiply defined name, but which
-definition is applicable being distinguishable by the parameter (and result) profiles.</p>
+<p class="txts">overloaded. &nbsp;property of a declaration whose name is shared with other
+declarations in the same declarative region.</p>
 <p class="text">Add after 1.3.3(1/5):</p>
 <p class="txts">child unit. &nbsp;library unit (logically) occurring within the declarative region
-of its parent library unit.</p>
+of another &nbsp;library unit.</p>
 <p class="text">Add after 1.3.3(15/5):</p>
-<p class="txts">instantiation. &nbsp;creation of an actual package or subsystem from a (template)
+<p class="txts">instantiation. &nbsp;creation of an actual package or subprogram from a (template)
 generic unit.</p>
 <p class="text">Add after 1.3.3(23/5):</p>
-<p class="txts">operative constituent. name or expression used in the evaluation of another name or
+<p class="txts">operative constituent. one of the expressions within an enclosing expression whose
+evaluation yields &nbsp;the value &nbsp;of that enclosing expression.</p>
 <p class="text">Add after 1.3.3(36/5):</p>
 <p class="text">subsystem. root library unit, together with its descendants.</p>
-<p class="txts">[10.1(3) uses the rather clumsy &quot;children and grandchildren and so on&quot;,
-maybe considering that the term &quot;descendants&quot; is only applicable to types. &nbsp;But
-10.1.1(11 &amp; 12) is quite happy talking about library units having descendants.]</p>
+<p class="txts">[Author&rsquo;s note: 10.1(4) uses the rather clumsy &quot;children and
+grandchildren and so on&quot;, maybe considering that the term &quot;descendants&quot; is only
+applicable to types. &nbsp;But 10.1.1(11 &amp; 12) is quite happy talking about library units
+having descendants.]</p>
 <p class="text">Add before 1.3.5(1/5):</p>
-<p class="txts">bounded error. &nbsp;error that causes behavior that is unpredictable but within
-certain bounds, and is not generally predictable.</p>
+<p class="txts">bounded error. &nbsp;error that causes behavior that is not generally predictable
+but within specified bounds.</p>
 <p class="text">Add after 1.3.5(1/5):</p>
-<p class="txts">erroneous execution. &nbsp;totally unpredictable behavior, caused by an error that
-is not generally detectable.</p>
+<p class="txts">erroneous execution. &nbsp;unpredictable runtime behavior, without specified
+bounds, caused by an error that is not generally detectable.</p>
 <h2 class="head">!discussion</h2>
@@ -119,7 +129,7 @@
 <p class="txts">Other important terms that probably ought to be defined
-include:<sup><a href="#cmnt1" name="cmnt_ref1">[a]</a></sup><sup><a href="#cmnt2" name="cmnt_ref2">[b]</a></sup></p>
+include:<sup><a href="#cmnt3" name="cmnt_ref3">[c]</a></sup><sup><a href="#cmnt4" name="cmnt_ref4">[d]</a></sup></p>
 <ul class="blts"><li>child unit</li>
 <li>operative constituent</li>
@@ -146,6 +156,15 @@
 <h2 class="head">!appendix</h2>
-<p class="btxt"><a href="#cmnt_ref1" name="cmnt1">[a]</a>Root type of a class-wide type</p>
-<p class="btxt"><a href="#cmnt_ref2" name="cmnt2">[b]</a>subtype predicate?</p>
+<p class="btxt"><a href="#cmnt_ref1" name="cmnt1">[a]</a>Editorial review: The minutes say that
+Tucker wants this to &quot;allocate from a storage pool&quot;. So where is the storage pool in this
+definition?? &quot;Storage pool object&quot; is a defined term. I think this should say
+&quot;allocates from a storage pool object&quot;, or maybe something like &quot;expression that
+creates an object by allocating it from a storage pool object, initializing it, and then yields an
+access value the designates the new object&quot;.</p>
+<p class="btxt"><a href="#cmnt_ref2" name="cmnt2">[b]</a>Editorial review: Is this word necessary?
+The definition is supposed to be substitutable for the term, and this word would make any such text
+clunky. And it doesn&#39;t really seem to add anything.</p>
+<p class="btxt"><a href="#cmnt_ref3" name="cmnt3">[c]</a>Root type of a class-wide type</p>
+<p class="btxt"><a href="#cmnt_ref4" name="cmnt4">[d]</a>subtype predicate?</p>

Questions? Ask the ACAA Technical Agent