CVS difference for ai05s/ai05-0217-1.txt
--- ai05s/ai05-0217-1.txt 2010/06/13 06:10:11 1.1
+++ ai05s/ai05-0217-1.txt 2010/08/13 05:32:36 1.2
@@ -1,5 +1,7 @@
-!standard 7.5(8.2/3) 10-06-13 AI05-0217-1/01
+!standard 7.5(8.2/3) 10-08-12 AI05-0217-1/02
!class binding interpretation 10-06-13
+!status Amendment 2012 10-08-12
+!status ARG Approved 10-0-0 10-06-19
!status work item 10-06-13
!status received 10-05-18
@@ -40,12 +42,22 @@
changing at this point.
The example in the question should be "immutably limited" as it would be
-immutably limited if it wasn't derived from I. Adding a progentior shouldn't
+immutably limited if it wasn't derived from I. Adding a progenitor shouldn't
change properties unless absolutely necessary.
Therefore, we add a bullet to include the example in the question into
+There are no predefined equality operators for a limited type.
+A type is @i<immutably limited> if it is one of the following:
+@xbullet<A record extension with the reserved word @b<limited>;>
+[Partial text to force a conflict, real text in conflict file.]
Questions? Ask the ACAA Technical Agent