CVS difference for ai22s/ai22-0039-1.html
--- ai22s/ai22-0039-1.html 2022/06/18 04:17:03 1.4
+++ ai22s/ai22-0039-1.html 2022/10/25 00:07:50 1.5
@@ -1,10 +1,7 @@
<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0039-1/03</title>
<style type="text/css">
table td,table th{padding:0}
-.c12{color:#000000;font-weight:400;text-decoration:none;vertical-align:baseline;font-size:11pt;font-family:"Times New Roman";font-style:normal}
-.c6{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c4{border:1px solid black;margin:5px}
-.c8{font-weight:400;font-family:"Arial"}
+.c12{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}
@@ -16,14 +13,16 @@
SPAN.name{font-family:"Lucida Calligraphy",cursive; font-style:normal}
SPAN.ins{color:#005500}
SPAN.del{color:#880000}
-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}
+SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
+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="c6"><p class="a0">AI22-0039-1</p>
+</head><body class="c12 doc-content"><p class="a1">AI22-0039-1</p>
<p class="head">!standard 8.3(26/2)
22-06-14 AI22-0039-1/03</p>
<p class="head">!class presentation 22-02-04</p>
<p class="head">!status Corrigendum 1-2022 22-06-14</p>
+<p class="head">!status WG9 Approved 22-10-18</p>
<p class="head">!status ARG Approved 13-0-0 22-05-05</p>
<p class="head">!status work item 22-02-04</p>
<p class="head">!status received 21-05-20</p>
@@ -57,16 +56,15 @@
<p class="wrds"><span class="ins">}</span><span class="del">[In addition,
a]</span><span class="ins">{A}</span> type extension is illegal if somewhere within its immediate
scope it has two visible components with the same name. <span class="del">[Similarly,
-the]</span><span class="ins">{The}</span> <span class="c8">context_clause</span> for a compilation
-unit is illegal if it mentions (in a <span class="c8">with_clause</span>) some library unit, and
-there is a homograph of the library unit that is visible at the place of the compilation unit, and
-the homograph and the mentioned library unit are both declared immediately within the same
-declarative region.
- <sup><a href="#cmnt1"><span class="del">[a]</span></a></sup><sup><a href="#cmnt2"><span class="del">[b]</span></a></sup><sup><a href="#cmnt3"><span class="del">[c]</span></a></sup><sup><a href="#cmnt4"><span class="del">[d]</span></a></sup><span cla
ss="c12"><span class="del">[These
-rules also apply to dispatching operations declared in the visible part of an instance of a
-generic unit. However, they do not apply to other overloadable declarations in an instance; such
-declarations may have type conformant profiles in the instance, so long as the corresponding
-declarations in the generic were not type conformant.]</span></span></p>
+the]</span><span class="ins">{The}</span> <span class="ntrm">context_clause</span> for a
+compilation unit is illegal if it mentions (in a <span class="ntrm">with_clause</span>) some
+library unit, and there is a homograph of the library unit that is visible at the place of the
+compilation unit, and the homograph and the mentioned library unit are both declared immediately
+within the same declarative region. <span class="del">[These rules also apply to
+ dispatching operations declared in the visible part of an instance of a generic unit.
+However, they do not apply to other overloadable declarations in an instance; such declarations may
+have type conformant profiles in the instance, so long as the corresponding declarations in the
+generic were not type conformant.]</span></p>
<h2 class="head">!discussion</h2>
@@ -192,18 +190,4 @@
following sentences.</p>
<p class="text">****************************************************************</p>
-<div class="c4"><p class="text"><a href="#cmnt_ref1">[a]</a>Might be better: "The rules given
-above that apply to subprograms ..."</p>
-</div><div class="c4"><p class="text"><a href="#cmnt_ref2">[b]</a>Yes, but do we need it? I was
-unable to convince myself that the context clause rule could ever trigger for a dispatching
-operation. If "these rules" is really only one rule, rearranging the text would be
-better. I think that was the reason this was given to you as homework.</p>
-</div><div class="c4"><p class="text"><a href="#cmnt_ref3">[c]</a>Expanding a bit: A context clause
-can mention a subprogram, but a library unit cannot be a dispatching operation. A stub could be a
-dispatching operation, but "separate" is NOT part of a context clause, so the rule
-doesn't apply there anyway (and wouldn't the stub be illegal if there was a problem?). So
-if only the first rule is really involved with "these rules", then this sentence should
-just follow the first sentence with "this rule also applies...". Right?</p>
-</div><div class="c4"><p class="text"><a href="#cmnt_ref4">[d]</a>Agreed. I have made that
-change, and have suggested a new paragraph for the following sentences.</p>
-</div></body></html>
+</body></html>
Questions? Ask the ACAA Technical Agent