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

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

--- ai22s/ai22-0036-1.html	2022/11/06 19:19:55	1.3
+++ ai22s/ai22-0036-1.html	2022/11/17 06:38:54	1.4
@@ -1,10 +1,10 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0036-1/04</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>13.14(10/5)</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c20{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}
-.c23{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c19{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c14{height:0pt}
+.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}
+.c17{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}
@@ -18,11 +18,12 @@
 P.time{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:9pt; padding-bottom:9pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:4
00; text-decoration:none; vertical-align:baseline; font-style:italic}
 SPAN.name{font-family:"Lucida Calligraphy",cursive; 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.1500000000000001; page-break-after:avoid; orphans:2; widows
:2; text-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.a2{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.1500000000000001; 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 doc-content"><p class="a1">AI22-0036-1</p>
-<p class="head">!standard 3.5(56.3/3) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 22-11-03 &nbsp;AI22-0036-1/04</p>
+</head><body class="c17 doc-content"><p class="a2">AI22-0036-1</p>
+<p class="head">!standard 8.6(17/3)&nbsp; &nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 22-11-10 &nbsp;AI22-0036-1/05</p>
+<p class="head">!standard 13.14(10/5)</p>
 <p class="head">!class binding interpretation 22-01-26</p>
 <p class="head">!status work item 22-01-26</p>
 <p class="head">!status received 21-04-28</p>
@@ -45,8 +46,8 @@
 so it is not inherited), but all such conversions are illegal.</p>
 
 <p class="text">For instance:</p>
-<a id="t.93cdc93f7933f0879b1b6e02881eb544af0506d7"></a><a id="t.0"></a><table class="c23"></table><p class="text">&nbsp;</p>
-<a id="t.95917217e1d5f0ad5def57a7c4bf5b8bfff0930c"></a><a id="t.1"></a><table class="c23"><tr class="c14"><td class="c20">
+<a id="t.93cdc93f7933f0879b1b6e02881eb544af0506d7"></a><a id="t.0"></a><table class="c18"></table><p class="text">&nbsp;</p>
+<a id="t.95917217e1d5f0ad5def57a7c4bf5b8bfff0930c"></a><a id="t.1"></a><table class="c18"><tr class="c20"><td class="c11">
 <p class="codt">&nbsp; <b>type</b> Char <b>is</b> <b>new</b> Character &nbsp;<br>
  &nbsp; &nbsp; <b>with</b> Default_Value =&gt; Char (Ada.Characters.Latin_1.Nul);</p>
 </td></tr></table><p class="text">&nbsp;</p>
@@ -73,9 +74,9 @@
 objects [redundant: (for example, the Val attribute)].</li>
 </ul>
 <p class="wind">AARM Discussion: Language-defined scalar subtype attributes that might be used here
-include First, Last, Val, and Pos. Enum_Val and Enum_Pos could not be used as they would freeze the
+include First, Last, Val, and Pos. Enum_Val and Enum_Rep could not be used as they would freeze the
 type.</p>
-<p class="inst">Replace 13.14(10):</p>
+<p class="inst">Replace 13.14(10/5):</p>
 <p class="word">At the place where an <span class="ntrm">expression</span> causes freezing, the
 type of the expression is frozen, unless the <span class="ntrm">expression</span> is an enumeration
 literal used as a <span class="ntrm">discrete_choice</span> of the
@@ -84,7 +85,7 @@
 <span class="ntrm">aspect_definition</span> of a specification for aspect Default_Value.</p>
 <p class="inst">with</p>
 <p class="word">At the place where an expression causes freezing, the type of the expression is
-frozen, unless either</p>
+frozen, unless either:</p>
 <ul class="wbl"><li>the expression is an enumeration literal used as a discrete_choice of the
 array_aggregate of an enumeration_representation_clause; or</li>
 <li>the expression is the <span class="ntrm">aspect_definition</span> of a specification for the
@@ -103,7 +104,7 @@
 typically not the case because of the possibility of bypassing the current instance rule by means
 of a partial view and a subtype, as in</p>
 <p class="text">&nbsp; </p>
-<a id="t.c711c9e162ca63b8a855ee8735fafaf3f57c4794"></a><a id="t.2"></a><table class="c23"><tr class="c14"><td class="c20">
+<a id="t.c711c9e162ca63b8a855ee8735fafaf3f57c4794"></a><a id="t.2"></a><table class="c18"><tr class="c20"><td class="c11">
 <p class="codt">&nbsp; &nbsp; &nbsp; <b>type</b> T <b>is</b> <b>private</b>;<br>
  &nbsp; <b>private</b><br>
  &nbsp; &nbsp; &nbsp;<b>subtype</b> S <b>is</b> T;<br>
@@ -123,14 +124,14 @@
 it is safe to allow Pos and Val in such contexts. Similarly, the values for First and Last are
 determined by the type&rsquo;s definition.</p>
 
-<p class="text">We make the &ldquo;hole&rdquo; is small as possible, so we only allow those
+<p class="text">We make the &ldquo;hole&rdquo; as small as possible, so we only allow those
 attributes (and the equivalent Range) and only in the expression of Default_Value. Having
 attributes that do not freeze could cause issues (either semantically or of implementation) in
 other contexts, and there is no obvious additional expressivity in allowing them.</p>
 <h2 class="head">!example</h2>
 <p class="txts">This AI would allow the following declarations to be legal:</p>
 
-<a id="t.2ca453b052ff6b219ea9a7573dda84b3aee67fc7"></a><a id="t.3"></a><table class="c23"><tr class="c14"><td class="c20">
+<a id="t.2ca453b052ff6b219ea9a7573dda84b3aee67fc7"></a><a id="t.3"></a><table class="c18"><tr class="c20"><td class="c11">
 <p class="codt">Nul_Pos : <b>constant</b> Integer := <br>
  &nbsp; &nbsp;Character&#39;Pos (Ada.Characters.Latin_1.NUL); &nbsp; -- &nbsp;equals 0<br>
  &nbsp; <br>

Questions? Ask the ACAA Technical Agent