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

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

--- ai22s/ai22-0041-1.html	2022/06/24 04:08:54	1.3
+++ ai22s/ai22-0041-1.html	2022/10/25 00:07:50	1.4
@@ -1,10 +1,10 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0041-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c26{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:452.2pt;border-top-color:#000000;border-bottom-style:solid}
-.c15{margin-left:15.8pt;border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c25{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c21{height:0pt}
+.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:452.2pt;border-top-color:#000000;border-bottom-style:solid}
+.c24{margin-left:15.8pt;border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c17{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c19{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,9 +18,9 @@
 SPAN.ins{color:#005500}
 SPAN.del{color:#880000}
 SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
-P.a3{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}
+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.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="c25"><p class="a3">AI22-0041-1</p>
+</head><body class="c17 doc-content"><p class="a2">AI22-0041-1</p>
 <p class="head">!standard 7.4(6/3) &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-23 &nbsp;AI22-0041-1/03</p>
@@ -28,6 +28,7 @@
 <p class="head">!standard 7.4(7.1/2)</p>
 <p class="head">!class binding interpretation 22-06-14</p>
 <p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status WG9 Approved 22-10-18</p>
 <p class="head">!status ARG Approved 15-0-0 &nbsp;22-06-23</p>
 <p class="head">!status work item 22-06-14</p>
 <p class="head">!status received 22-06-07</p>
@@ -42,16 +43,16 @@
 
 <p class="txts">The subtype given in the declaration of a deferred constant is part of the
 &ldquo;contract&rdquo; of the declaration. Clients should be able to assume that if the completion
-elaborates successfully, then the &nbsp;value of the constant satisfies any checks (such as
-constraints, null exclusions, and enabled predicates) associated with that initial subtype. It is
-currently permitted to have a deferred constant whose initial subtype is subject to some (enabled)
-predicate which the completion&rsquo;s subtype is not subject to and which will therefore not be
-checked when the completion is elaborated. This seems undesirable.</p>
+elaborates successfully, then the value of the constant satisfies any checks (such as constraints,
+null exclusions, and enabled predicates) associated with that initial subtype. It is currently
+permitted to have a deferred constant whose initial subtype is subject to some (enabled) predicate
+which the completion&rsquo;s subtype is not subject to and which will therefore not be checked when
+the completion is elaborated. This seems undesirable.</p>
 
 <p class="txts">Should this example be legal? (No.)</p>
 
 
-<a id="t.ac08b858acc96faca5808079df5e9650e7b332e1"></a><a id="t.0"></a><table class="c15"><tr class="c21"><td class="c26">
+<a id="t.ac08b858acc96faca5808079df5e9650e7b332e1"></a><a id="t.0"></a><table class="c24"><tr class="c19"><td class="c20">
 <p class="codt"><b>package</b> Bad_Deferred_Constant <b>is</b><br>
  &nbsp; <b>pragma</b> Assertion_Policy (Check);<br>
  &nbsp; <b>subtype</b> S <b>is</b> String <b>with</b> Dynamic_Predicate =&gt; (S&#39;Length &gt;=

Questions? Ask the ACAA Technical Agent