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

Differences between 1.4 and version 1.5
Log of other versions for file 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) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;22-06-14 &nbsp;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.
-&nbsp;<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 &nbsp;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 &nbsp;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. &nbsp;<span class="del">[These rules also apply to
+&nbsp;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 &nbsp;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: &quot;The rules given
-above that apply to subprograms ...&quot;</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 &quot;these rules&quot; 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 &quot;separate&quot; is NOT part of a context clause, so the rule
-doesn&#39;t apply there anyway (and wouldn&#39;t the stub be illegal if there was a problem?). So
-if only the first rule is really involved with &quot;these rules&quot;, then this sentence should
-just follow the first sentence with &quot;this rule also applies...&quot;. Right?</p>
-</div><div class="c4"><p class="text"><a href="#cmnt_ref4">[d]</a>Agreed.&nbsp; 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