CVS difference for ais/ai-00230.txt

--- ais/ai-00230.txt	2004/11/14 06:36:54	1.18
+++ ais/ai-00230.txt	2004/11/17 00:52:46	1.19
@@ -1,4 +1,4 @@
-!standard 03.04.01(06)                               04-11-03  AI95-00230/13
+!standard 03.04.01(06)                               04-11-15  AI95-00230/13
 !standard 03.06(07)
 !standard 03.06(22/1)
 !standard 03.07(10)
@@ -7,6 +7,7 @@
 !standard 03.10(13)
 !standard 03.10(17)
 !standard 03.10.2(12)
+!standard 03.10.2(34)
 !standard 04.02(02)
 !standard 04.02(07)
 !standard 04.02(08)
@@ -208,12 +209,16 @@
 Change paragraph 3.10.2(12) as follows:
 
    The accessibility level of the anonymous access type of an access
-   discriminant {specified for a limited type} is the same as the
+   discriminant {specified for a limited type} is the same as that of the
    containing object or associated constrained subtype. {For other
    components having an anonymous access type, the accessibility level
    of the access type is the same as the level of the containing
    composite type.}
 
+Change the end of the note 3.10.2(34) as follows:
+   ... anonymous access types do not{, but they can use the predefined
+   equality operators for universal_access} (see 4.5.2).
+
 Delete paragraph 4.2(2).
 
 Replace paragraph 4.2(7) by:
@@ -656,11 +661,30 @@
 @fa<access_definition> of an @fa<object_renaming_declaration> is the same as
 that of the renamed object (view).>
 @xbullet<The accessibility level of the anonymous access type of an access
-discriminant specified for a limited type is the same as the
+discriminant specified for a limited type is the same as that of the
 containing object or associated constrained subtype. For other
 components having an anonymous access type, the accessibility level
 of the access type is the same as the level of the containing
 composite type.>
+
+
+!corrigendum 3.10.2(34)
+
+@drepl
+@xindent<@s9<82 The predefined operations of an access type also include the
+assignment operation, qualification, and membership tests. Explicit conversion
+is allowed between general access types with matching designated subtypes;
+explicit conversion is allowed between access-to-subprogram types with subtype
+conformant profiles (see 4.6). Named access types have predefined equality
+operators; anonymous access types do not (see 4.5.2).>>
+@dby
+@xindent<@s9<82 The predefined operations of an access type also include the
+assignment operation, qualification, and membership tests. Explicit conversion
+is allowed between general access types with matching designated subtypes;
+explicit conversion is allowed between access-to-subprogram types with subtype
+conformant profiles (see 4.6). Named access types have predefined equality
+operators; anonymous access types do not, but they can use the predefined
+equality operators for @i<universal_access> (see 4.5.2).>>
 
 !corrigendum 4.2(2)