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

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

--- ai22s/ai22-0067-1.html	2023/07/12 05:08:21	1.3
+++ ai22s/ai22-0067-1.html	2023/09/08 00:32:34	1.4
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0067-1/02</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0067-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}
@@ -15,9 +15,15 @@
 P.l3h{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:0pt; padding-bottom:3pt; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; text-alig
n:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
 </head><body class="body"><p class="l3h">AI22-0067-1</p>
-<p class="head">!standard 4.3(4/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
+<p class="head">!standard 4.3(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-06-27 &nbsp;AI22-0067-1/02</p>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-08-24 &nbsp;AI22-0067-1/03</p>
+<p class="head">!standard 4.3.1(20)</p>
+<p class="head">!standard 4.3.2(8/3)</p>
+<p class="head">!standard 4.3.3(31)</p>
+<p class="head">!standard 4.3.4(21/5)</p>
+<p class="head">!standard 4.3.5(53/5)</p>
+<p class="head">!standard B.3.3(20/2)</p>
 <p class="head">!class binding interpretation 23-03-23</p>
 <p class="head">!status Corrigendum 1-2022 &nbsp;23-06-27</p>
 <p class="head">!status ARG Approved &nbsp;6-0-0 &nbsp;23-06-11</p>
@@ -33,8 +39,9 @@
 a delta_aggregate, the nominal subtype is that of the <i>base_</i>expression.</p>
 <h2 class="head">!issue</h2>
 <p class="text">3.3(23/5) starts &quot;At the place where a view of an object is defined, a nominal
-subtype is associated with the view.&quot; 4.3(5) states that an aggregate is a view of an object.
-But nowhere do we define the nominal subtype of an aggregate.</p>
+subtype is associated with the view.&quot; 4.3(5) states that an aggregate is an anonymous object,
+and of course 3.1(7.1/3) says that we always mean &ldquo;view of object&rdquo; even when we just
+say &ldquo;object&rdquo;. But nowhere do we define the nominal subtype of an aggregate.</p>
 <h2 class="head">!recommendation</h2>
 <p class="text">(See Summary.)</p>
 <h2 class="head">!wording</h2>
@@ -66,7 +73,7 @@
 an expression of an unchecked union subtype that lacks inferable discriminants}</span>.</p>
 <h2 class="head">!discussion</h2>
 <p class="txts">Most of the rules that use the nominal subtype of an object don&#39;t apply to
-aggregates, at least for Ada 2012.</p>
+aggregates, at least for Ada 2022.</p>
 
 <p class="txts">The only one we could find is rather obscure, involving inferable discriminants of
 an unchecked union (see B.3.3(20/2)). Thus checks involving aggregates of unchecked unions are
@@ -104,7 +111,7 @@
 either of the operands lacks inferable discriminants.</li>
 </ul>
 
-<p class="txts">we need to know if the aggregate has inferable discriminants, and to answer that
+<p class="txts">We need to know if the aggregate has inferable discriminants, and to answer that
 question, we need to know the nominal subtype of the aggregate. And we really don&#39;t want (1)
 raising Program_Error, since the discriminants involved are known and static.</p>
 

Questions? Ask the ACAA Technical Agent