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

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

--- ai22s/ai22-0029-1.html	2022/06/17 06:13:50	1.1
+++ ai22s/ai22-0029-1.html	2022/06/24 04:08:54	1.2
@@ -1,7 +1,7 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0029-1/03</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0029-1/04</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c5{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c10{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
 P.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:14pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:normal}
 H2.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:12pt; color:#000000; font-size:14pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; tex
t-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.inst{margin-bottom:0; margin-top:0; margin-left:18pt; margin-right:0; padding-top:9pt; color:#000000; font-size:12pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif;line-height:1.15; orphans:2; widows:2; text-align:left; font-weigh
t:400; text-decoration:none; vertical-align:baseline; font-style:normal}
@@ -17,11 +17,13 @@
 SPAN.del{color:#880000}
 P.a1{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-align
:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
-</head><body class="c5"><p class="a1">AI22-0029-1</p>
+</head><body class="c10"><p class="a1">AI22-0029-1</p>
 <p class="head">!standard 13.3(75.1/3) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 22-06-14 &nbsp;AI22-0029-1/03</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 22-06-23 &nbsp;AI22-0029-1/04</p>
 <p class="head">!standard 13.3(76)</p>
 <p class="head">!class binding interpretation 22-01-24</p>
+<p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status ARG Approved 14-0-0 &nbsp;22-06-23</p>
 <p class="head">!status work item 22-01-24</p>
 <p class="head">!status received 21-12-31</p>
 <p class="head">!priority Low</p>
@@ -29,15 +31,12 @@
 <p class="head">!qualifier Omission</p>
 <p class="head">!subject External_Tag collisions</p>
 <h2 class="head">!summary</h2>
-
 <p class="txts">Program_Error is raised at an appropriate point if two independently-declared
 tagged types have the same external tag.</p>
 
-<p class="txts">External_Tags are only required to be unique if they come from different
+<p class="text">External_Tags are only required to be unique if they come from different
 declarations.</p>
-
 <h2 class="head">!issue</h2>
-
 <p class="txts">13.3(75.1/3) says:</p>
 
 <p class="text">&nbsp; &nbsp;If a user-specified external tag S&#39;External_Tag is the same as</p>
@@ -48,7 +47,7 @@
 <p class="txts">&nbsp; &nbsp;of the attribute_definition_clause.</p>
 
 <p class="txts">But where is the exception raised if the user specified the external tag with an
-aspect specification?? The usual equivalence doesn&#39;t really help us here, as there is no
+aspect specification? The usual equivalence doesn&#39;t really help us here, as there is no
 attribute_definition_clause in that case. (The equivalence rule is simply &quot;All specifiable
 operational and representation attributes may be specified with an aspect_specification instead of
 an attribute_definition_clause (see 13.3).&quot;, which doesn&#39;t give us any clue about the
@@ -56,13 +55,10 @@
 Rules and most Static Semantics apply to it, but timing details seem like a bridge too far,
 especially as resolution and freezing rules are definitely different.)</p>
 
-<p class="txts">Ergo, this rule needs to say where the exception is raised for an aspect
+<p class="text">Ergo, this rule needs to say where the exception is raised for an aspect
 &nbsp;specification.</p>
-
 <h2 class="head">!recommendation</h2>
-
-<p class="txts">(See Summary.)</p>
-
+<p class="text">(See Summary.)</p>
 <h2 class="head">!wording</h2>
 <p class="inst">Replace 13.3(75.1/3):</p>
 
@@ -110,7 +106,6 @@
 <span class="del">[the partition may be rejected]</span><span class="ins">{an implementation may
 disallow the partition, or raise Program_Error upon the elaboration of either type}</span>.</p>
 <h2 class="head">!discussion</h2>
-
 <p class="txts">The only requirement for this check is that one of the types has a user-specified
 External_Tag. The check is defined symmetrically so that it doesn&#39;t matter which type is
 elaborated first.</p>
@@ -134,20 +129,16 @@
 to usefully meet all of 13.3(76) for a nested type declaration that could be elaborated again by a
 call from another task.]</p>
 
-<p class="txts">As such, we have eliminated the requirement that the default external tags are
+<p class="text">As such, we have eliminated the requirement that the default external tags are
 different for multiple elaborations of the same declaration.</p>
-
 <h2 class="head">!ACATS test</h2>
-
 <p class="text">ACATS tests CD30013 and CD30014 test this rule. One could imagine more complex</p>
 <p class="text">tests that try various corner cases of this rule (such as allowing multiple</p>
 <p class="text">elaborations of a single declaration in a set of recursive calls), but those</p>
 <p class="text">cases seem unlikely to come up where the result would be significant (one</p>
 <p class="text">would need to involve streaming to make the use of External_Tag meaningful,</p>
-<p class="txts">and it&#39;s hard to imagine how to do that in recursive subprograms).</p>
-
+<p class="text">and it&#39;s hard to imagine how to do that in recursive subprograms).</p>
 <h2 class="head">!appendix</h2>
-
 <p class="from">From:<span class="name"> Randy Brukardt [privately]</span></p>
 <p class="time">Sent: Friday, December 31, 2021 &nbsp;2:15 AM</p>
 

Questions? Ask the ACAA Technical Agent