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

Differences between 1.7 and version 1.8
Log of other versions for file ai22s/ai22-0053-1.html

--- ai22s/ai22-0053-1.html	2023/11/17 06:50:15	1.7
+++ ai22s/ai22-0053-1.html	2024/02/13 09:02:00	1.8
@@ -1,7 +1,8 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0053-1/05</title>
 <style type="text/css">
 table td,table th{padding:0}
-BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
+BODY.body{background-color:#ffffff; max-width:540pt; padding:36pt 36pt 36pt 36pt}
+P.anum{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:26pt; padding-bottom:3pt; 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}
 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}
@@ -12,10 +13,9 @@
 P.txts{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration
:none; vertical-align:baseline; font-style:normal}
 P.inds{margin-bottom:0; margin-top:0; margin-left:24pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decorat
ion:none; vertical-align:baseline; font-style:normal}
 SPAN.ins{color:#007700}
-P.edn{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; page-break-after:avoid; padding-top:0pt; padding-bottom:3pt; line-height:1.15; orphans:2; widows:2; text-alig
n:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 SPAN.k5w{background-color:#f1c232}
 </style>
-</head><body class="body"><p class="edn">AI22-0053-1</p>
+</head><body class="body"><p class="anum">AI22-0053-1</p>
 <p class="head">!standard 4.5.2(9.8/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-09-07
 &nbsp;AI22-0053-1/05</p>
@@ -159,6 +159,36 @@
 
 <p class="text">We require subtype conformance when the overriding occurs in the private part, to
 ensure that the same checks, if any, are performed at the call site.</p>
+<h2 class="head">!corrigendum 4.5.2(9.8/5)</h2>
+<p class="text">@drepl</p>
+<p class="text">If the profile of an explicitly declared primitive equality operator of an untagged
+record type is type conformant with that of the corresponding predefined equality operator, the
+declaration shall occur before the type is frozen. In addition, no type shall have been derived
+from the untagged record type before the declaration of the primitive equality operator. In
+addition to the places where Legality Rules normally apply (see 12.3), this rule applies also in
+the private part of an instance of a generic unit. </p>
+<p class="text">@dby</p>
+<p class="text">If the profile of an explicitly declared primitive equality operator of an untagged
+record type is type conformant with that of the corresponding predefined equality operator, the
+declaration shall occur before the type is frozen. In addition, no type shall have been derived
+from the untagged record type before the declaration of the primitive equality operator. If the
+untagged record type is declared immediately within the visible part of a package, and the
+overriding primitive equality operator is explicitly declared within the private part of the
+package, the operator shall be subtype conformant with the predefined or inherited operator that it
+overrides. In addition to the places where Legality Rules normally apply (see 12.3), this rule
+applies also in the private part of an instance of a generic unit. </p>
+<h2 class="head">!corrigendum 4.5.2(13)</h2>
+<p class="text">@dinsa</p>
+<p class="text">Two access-to-subprogram values are equal if they are the result of the same
+evaluation of an Access @fa{attribute_reference}, or if both are equal to the null value of the
+access type. Two access-to-subprogram values are unequal if they designate different subprograms.
+It is unspecified whether two access values that designate the same subprogram but are the result
+of distinct evaluations of Access @fa{attribute_reference}s are equal or unequal.</p>
+<p class="text">@dinst</p>
+<p class="text">For an untagged record type, when outside the immediate scope of the type, any call
+on a primitive equals operator conformant with the profile of the predefined equals operator of the
+type, will invoke the body associated with the corresponding primitive equals operator visible at
+the end of the immediate scope of the type.</p>
 <h2 class="head">!ACATS test</h2>
 
 <p class="text">An ACATS C-Test should check that an example like that in the !Issue gives the</p>
@@ -184,4 +214,4 @@
 comment disappeared, too, so I moved it down here.]</p>
 <hr><p class="txts">&nbsp;</p>
 
-</body></html> 
+</body></html>

Questions? Ask the ACAA Technical Agent