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

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

--- ai22s/ai22-0060-1.html	2023/04/07 06:37:00	1.2
+++ ai22s/ai22-0060-1.html	2023/04/22 06:19:57	1.3
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0060-1/02</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0060-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -14,8 +14,8 @@
 </style>
 </head><body class="body"><p class="l3h">AI22-0060-1</p>
 <p class="head">!standard 11.5(8.1/2) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-04-03
-&nbsp;AI22-0060-1/02</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-04-18
+&nbsp;AI22-0060-1/03</p>
 <p class="head">!class binding interpretation &nbsp;23-03-15</p>
 <p class="head">!status Corrigendum 1-2022 &nbsp;23-03-30</p>
 <p class="head">!status ARG Approved 11-0-1 &nbsp;23-03-30</p>
@@ -31,20 +31,20 @@
 <h2 class="head">!issue</h2>
 <p class="txts">Consider this example:</p>
 
-<p class="cbin"><b>package</b> Pkg <b>is<br>
-</b>&nbsp; &nbsp;<b>package </b>Nested1<b> is</b></p>
-<p class="cbin">&nbsp; &nbsp;&nbsp; &nbsp;<b>pragma</b> Suppress (Index_Check);<br>
+<p class="cbin"><b>package</b> Pkg <b>is</b></p>
+<p class="cbin">&nbsp; &nbsp;<b>package </b>Nested1<b> is<br>
+</b>&nbsp; &nbsp;&nbsp; &nbsp;<b>pragma</b> Suppress (Index_Check);<br>
 &nbsp; &nbsp; &nbsp; <b>type</b> String_Ref <b>is access</b> String;<br>
 &nbsp; &nbsp; &nbsp; Ptr : String_Ref := &hellip; ;<br>
 &nbsp; &nbsp; &nbsp; <b>function</b> Func<br>
 &nbsp; &nbsp; &nbsp; &nbsp; (C : Character := Ptr.<b>all</b>(3)) <b>return</b> Boolean <b>is</b>
 (...);<br>
-&nbsp; &nbsp;<b>end</b> Nested1;<br>
-&nbsp; &nbsp;<b>package </b>Nested2<b> is<br>
+&nbsp; &nbsp;<b>end</b> Nested1;</p>
+<p class="cbin">&nbsp; &nbsp;<b>package </b>Nested2<b> is<br>
 </b>&nbsp; &nbsp; &nbsp; <b>pragma</b> Suppress (Access_Check);<br>
 &nbsp; &nbsp; &nbsp; Flag : Boolean := Nested1.Func;<br>
-&nbsp; &nbsp;<b>end</b> Nested;</p>
-<p class="cbin"><b>end</b> Example;</p>
+&nbsp; &nbsp;<b>end</b> Nested2;</p>
+<p class="cbin"><b>end</b> Pkg;</p>
 <p class="text">&nbsp;</p>
 <p class="text">What check suppression is in effect for the evaluation of the expression
 &ldquo;Ptr.all(3)&rdquo; ? [Access checking is suppressed, index checking is not suppressed.]</p>
@@ -63,7 +63,7 @@
 <p class="txts">The chosen rule is similar to the freezing rules for these constructs.
 Specifically, these constructs do not freeze until they are used.</p>
 
-<p class="text">Another alternative would be to &ldquo;or&rdquo; the suppression permissions at the
+<p class="text">An alternative would be to &ldquo;or&rdquo; the suppression permissions at the
 place where the default occurs and where it is used (and presumably any intermediate places in the
 case of a default whose evaluation evaluates other defaults). That would pretty much ensure that
 existing implementations would not be required to make any changes, but it seems overly

Questions? Ask the ACAA Technical Agent