CVS difference for ai12s/ai12-0328-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0328-1.txt

--- ai12s/ai12-0328-1.txt	2019/04/17 00:01:17	1.3
+++ ai12s/ai12-0328-1.txt	2019/05/10 04:18:26	1.4
@@ -1,7 +1,9 @@
-!standard 4.5.2(28.1/4)                                    19-04-16  AI12-0328-1/03
+!standard 4.5.2(28.1/4)                                    19-05-09  AI12-0328-1/04
 !standard 4.5.2(4.1/4)
 !standard 4.5.2(15/3)
 !class binding interpretation 19-04-10
+!status Amendment 1-2012 19-05-09
+!status ARG Approved 9-0-0  19-05-09
 !status work item 19-04-05
 !status received 19-03-28
 !priority Low
@@ -43,7 +45,8 @@
 
     AARM Reason: We make the membership test on the nonlimited view of a type
     illegal if it would use a different equality operator than what
-    would be used for a limited view of the type.
+    would be used for a limited view of the same type (and such a limited view
+    exists).
 
 Modify 4.5.2(15/3):
 
@@ -56,8 +59,8 @@
 
   * The membership_choice is a choice_simple_expression, and the
     tested_simple_expression is equal to the value of the
-    membership_choice. If the tested type is a record type [or a limited
-    type]{or a record extension, or is limited at the point where the
+    membership_choice. If the tested type is a record type or a [limited
+    type]{record extension, or is limited at the point where the
     membership test occurs}, the test uses the primitive equality for
     the type; otherwise, the test uses predefined equality.
     
@@ -100,6 +103,50 @@
 
 (Note that if Priv was a private extension, then 4.5.2(14/3) would apply.)
 Again, this is necessary so that result of equality is not view-specific.
+
+!corrigendum 4.5.2(4.1/4)
+
+@drepl
+If a membership test includes one or more @i<choice_>@fa<simple_expression>s 
+and the tested type of the membership test is limited, then the
+tested type of the membership test shall have a visible
+primitive equality operator.
+@dby
+If a membership test includes one or more @i<choice_>@fa<simple_expression>s 
+and the tested type of the membership test is limited, then the
+tested type of the membership test shall have a visible
+primitive equality operator; if the tested type of the membership test is nonlimited
+with a user-defined primitive equality operator that is defined at a point
+where the type is limited, the tested type shall be a record type or
+record extension.
+
+!corrigendum 4.5.2(15/3)
+
+@drepl
+For a private type, if its full type is a record type, predefined equality
+is defined in terms of the primitive equals operator of the full type;
+otherwise, predefined equality for the private type is that of its full type.
+@dby
+For a private type, if its full type is a record type or a record extension,
+predefined equality is defined in terms of the primitive equals operator of 
+the full type; otherwise, predefined equality for the private type is that 
+of its full type.
+
+!corrigendum 4.5.2(28.1/4)
+
+@drepl
+@xbullet<The @fa<membership_choice> is a @i<choice_>@fa<simple_expression>, and
+the @i<tested_>@fa<simple_expression> is equal to the value of the 
+@fa<membership_choice>. If the tested type is a record type or a limited type, 
+the test uses the primitive equality for the type; otherwise, the test uses 
+predefined equality.>
+@dby
+@xbullet<The @fa<membership_choice> is a @i<choice_>@fa<simple_expression>, and
+the @i<tested_>@fa<simple_expression> is equal to the value of the 
+@fa<membership_choice>. If the tested type is a record type or a record extension,
+or is limited at the point where the membership test occurs, 
+the test uses the primitive equality for the type; otherwise, the test uses 
+predefined equality.>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent