CVS difference for ai22s/ai22-0042-1.html
--- ai22s/ai22-0042-1.html 2022/06/17 06:13:15 1.1
+++ ai22s/ai22-0042-1.html 2022/06/24 04:08:54 1.2
@@ -1,26 +1,27 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0042-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0042-1/02</title>
<style type="text/css">
table td,table th{padding:0}
-.c16{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-c
olor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
-.c9{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c23{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c6{height:0pt}
+.c21{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-c
olor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
+.c16{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c13{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c15{height:0pt}
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}
-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}
+UL.wbl{margin-bottom:0; margin-top:0; margin-left:42pt; 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; list-style: disc outside}
P.codt{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:10pt; padding-bottom:0pt; font-family:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0; font-weight:400; tex
t-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}
SPAN.ins{color:#005500}
-SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
-P.a0{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}
+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="c23"><p class="a0">AI22-0042-1</p>
+</head><body class="c13"><p class="a1">AI22-0042-1</p>
<p class="head">!standard 13.14(15.1/3)
- 22-06-14
- AI22-0042-1/01</p>
+ 22-06-23
+ AI22-0042-1/02</p>
<p class="head">!class binding interpretation 22-06-14</p>
+<p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status ARG Approved 14-0-1 22-06-23</p>
<p class="head">!status work item 22-06-14</p>
<p class="head">!status received 22-06-09</p>
<p class="head">!priority High</p>
@@ -43,7 +44,7 @@
<p class="txts">Attribute reference causes the needed freezing. But there appears to be a hole in
the case of a dispatching call. Should this example be legal? (No.)</p>
-<a id="t.415899745462147d59fb9abeb285bf26f05330a9"></a><a id="t.0"></a><table class="c9"><tr class="c6"><td class="c16">
+<a id="t.415899745462147d59fb9abeb285bf26f05330a9"></a><a id="t.0"></a><table class="c16"><tr class="c15"><td class="c21">
<p class="codt"><b>with</b> Text_IO;<br>
<b>procedure</b> Peculiar_Size <b>is</b><br>
<b>package</b> Pkg1 <b>is</b><br>
@@ -98,9 +99,10 @@
(with respect to freezing) to an Access attribute reference that designates the function.</p>
<h2 class="head">!wording</h2>
<p class="inst">Modify 13.14(15.1/3):</p>
-<p class="word">At the place where a specific tagged type is frozen, the primitive subprograms of
-the type are frozen <span class="ins">{; for each such primitive subprogram that is an expression
-function, its <span class="ntrm">return_expression</span> causes freezing}</span>.</p>
+<ul class="wbl"><li>At the place where a specific tagged type is frozen, the primitive subprograms
+of the type are frozen<span class="ins">{; for each such primitive subprogram that is an expression
+function, its return expression causes freezing}</span>.</li>
+</ul>
<h2 class="head">!discussion</h2>
<p class="txts">The proposed wording matches the wording used in 13.14(10.3) for Access attribute
references.</p>
@@ -115,6 +117,15 @@
<p class="head">!example</p>
<p class="text">(See issue.).</p>
+<h2 class="head">!corrigendum 13.14(15.1/3)</h2>
+<p class="text">@drepl</p>
+<p class="text">@xbullet{At the place where a specific tagged type is frozen, the primitive
+subprograms of the type are frozen.}</p>
+<p class="text">@dby</p>
+<p class="txts">@xbullet{At the place where a specific tagged type is frozen, the primitive
+subprograms of the type are frozen; for each such primitive subprogram that is an expression
+function, its return expression causes freezing.}</p>
+
<h2 class="head">!ACATS test</h2>
<p class="text">A B-test similar to the given example could be written.</p>
<h2 class="head">!appendix</h2>
Questions? Ask the ACAA Technical Agent