CVS difference for ai05s/ai05-0217-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file 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
 !priority Low
@@ -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
 "immutably limited".
+!corrigendum 7.5(8)
+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.]
 !ACATS Test

Questions? Ask the ACAA Technical Agent