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

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

--- ai22s/ai22-0014-1.html	2022/06/17 06:22:44	1.2
+++ ai22s/ai22-0014-1.html	2022/10/25 00:07:50	1.3
@@ -1,10 +1,10 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0014-1/02</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c11{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}
-.c18{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c19{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c23{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}
+.c15{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c8{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c20{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}
@@ -19,12 +19,13 @@
 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="c19"><p class="a1">AI22-0014-1</p>
+</head><body class="c8 doc-content"><p class="a1">AI22-0014-1</p>
 <p class="head">!standard 3.4(27/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-02-03 &nbsp;AI22-0014-1/02</p>
 <p class="head">!class binding interpretation 21-11-12</p>
 <p class="head">!status Corrigendum 1-2022 22-02-03</p>
+<p class="head">!status WG9 Approved 22-10-18</p>
 <p class="head">!status ARG Approved 15-0-1 &nbsp;22-02-03</p>
 <p class="head">!status work item 21-11-12</p>
 <p class="head">!status received 21-09-09</p>
@@ -40,7 +41,7 @@
 <h2 class="head">!issue</h2>
 <p class="txts">In the following example:</p>
 
-<a id="t.e2e1b96e1da06b92dab4a6d9871c9b994d5ae963"></a><a id="t.0"></a><table class="c18"><tbody><tr class="c23"><td class="c11">
+<a id="t.e2e1b96e1da06b92dab4a6d9871c9b994d5ae963"></a><a id="t.0"></a><table class="c15"><tr class="c20"><td class="c21">
 <p class="codt"><b>procedure</b> Inherited <b>is</b><br>
  &nbsp; <b>package</b> P1 <b>is</b><br>
  &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<b>type</b> T1 <b>is</b> <b>tagged</b> <b>record</b><br>
@@ -66,7 +67,7 @@
 <b>begin</b><br>
  &nbsp; Bad;<br>
 <b>end</b> Inherited;</p>
-</td></tr></tbody></table><p class="text">&nbsp;</p>
+</td></tr></table><p class="text">&nbsp;</p>
 <p class="text">P1.T1 is a tagged type and P2.T2 is derived from T1 with a null extension and a
 subtype predicate. The primitive function F of T1 is inherited by T2. The question is, should there
 be a predicate check when calling P2.F? &nbsp;(Yes.)</p>

Questions? Ask the ACAA Technical Agent