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

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0128-1.txt

--- ai05s/ai05-0128-1.txt	2009/02/18 05:59:29	1.3
+++ ai05s/ai05-0128-1.txt	2009/03/10 05:41:38	1.4
@@ -1,5 +1,8 @@
-!standard 3.2.3(6)                                              09-02-15  AI05-0128-1/01
+!standard 3.2.3(6)                                              09-03-09  AI05-0128-1/02
+!standard 6.6(6)
 !class binding interpretation 08-10-17
+!status Amendment 201Z 09-03-09
+!status ARG Approved  9-0-0  09-02-21
 !status work item 08-10-17
 !status received 08-08-22
 !priority Low
@@ -9,7 +12,7 @@
 
 !summary
 
-"/=" is a primtive operation for the purposes of a use type clause.
+The implicitly declared "/=" operator is primitive if "=" is explicitly declared.
 
 !question
 
@@ -64,12 +67,19 @@
 
 (See Summary.)
 
+!wording
+
 Add after RM 3.2.3(6):
 
-  * For a specific type with an explicitly-declared primitive "="
+  * For a specific type with an explicitly declared primitive "="
     operator whose result type is Boolean, the corresponding "/=" operator
     (see 6.6);
 
+Replace 6.6(6) by:
+
+An explicit declaration of "=" whose result type is Boolean implicitly declares
+an operator"/=" that gives the complementary result.
+
 !discussion
 
 Adding a bullet to 3.2.3 seems the simplest way to include the implicitly
@@ -93,8 +103,26 @@
        --     procedure Prim(X : C; Y : B);
        -- This is *not* a primitive of B.
    end P;
+
+!corrigendum 3.2.3(6)
 
---!corrigendum 3.2.3(6)
+@dinsa
+@xbullet<For a specific type declared immediately within a @fa<package_specification>,
+any subprograms (in addition to the enumeration literals) that are explicitly declared
+immediately within the same @fa<package_specification> and that operate on the type;>
+@dinst
+@xbullet<For a specific type with an explicitly declared primitive "="
+operator whose result type is Boolean, the corresponding "/=" operator
+(see 6.6);>
+
+!corrigendum 6.6(6)
+
+@drepl
+A declaration of "=" whose result type is Boolean implicitly declares a declaration of "/="
+that gives the complementary result. 
+@dby
+An explicit declaration of "=" whose result type is Boolean implicitly declares
+an operator"/=" that gives the complementary result.
 
 
 !ACATS Test

Questions? Ask the ACAA Technical Agent