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

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

--- ai22s/ai22-0067-1.html	2023/05/27 07:11:57	1.2
+++ ai22s/ai22-0067-1.html	2023/07/12 05:08:21	1.3
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0067-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0067-1/02</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -6,7 +6,7 @@
 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}
 P.word{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:3pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:40
0; text-decoration:none; vertical-align:baseline; font-style:normal}
-P.wrds{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:12pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:4
00; text-decoration:none; vertical-align:baseline; font-style:normal}
+UL.wbls{margin-bottom:0; margin-top:0; margin-left:42pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:12pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:normal; list-style: disc outside}
 P.codb{margin-bottom:0; margin-top:0; margin-left:12pt; margin-right:0; padding-left:4pt; padding-top:4pt; color:#000000; font-size:10pt; padding-bottom:4pt; font-family:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0;
 font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.text{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration:
none; vertical-align:baseline; font-style:normal}
 P.txts{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration
:none; vertical-align:baseline; font-style:normal}
@@ -17,8 +17,10 @@
 </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;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-05-19 &nbsp;AI22-0067-1/01</p>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-06-27 &nbsp;AI22-0067-1/02</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>
 <p class="head">!status work item 23-03-23</p>
 <p class="head">!status received 23-03-23</p>
 <p class="head">!priority Low</p>
@@ -96,10 +98,11 @@
 &nbsp; &nbsp;<b>end</b> <b>if</b>;<br>
 <b>end</b> Unchecked_Union_No_Default_Test;</p>
 <p class="text">&nbsp;</p>
-<p class="txts">To determine whether (1) raises Program_Error by B.3.3(23/2):</p>
+<p class="txts">To determine whether (1) raises Program_Error, for the item in B.3.3(23/2):</p>
 
-<p class="wrds">Evaluation of the predefined equality operator for an unchecked union type if
-either of the operands lacks inferable discriminants.</p>
+<ul class="wbls"><li>Evaluation of the predefined equality operator for an unchecked union type if
+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
 question, we need to know the nominal subtype of the aggregate. And we really don&#39;t want (1)

Questions? Ask the ACAA Technical Agent