CVS difference for ais/ai-00423.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00423.txt

--- ais/ai-00423.txt	2005/06/16 23:47:45	1.7
+++ ais/ai-00423.txt	2005/08/05 04:38:22	1.8
@@ -1,4 +1,4 @@
-!standard 8.5.1(2)                                    05-05-05  AI95-00423/05
+!standard 8.5.1(2)                                    05-07-12  AI95-00423/06
 !standard 8.5.1(4)
 !standard 8.5.4(4)
 !standard 12.4(2)
@@ -145,10 +145,12 @@
 For a generic formal object of mode in out, the type of the actual shall
 resolve to the type determined by the subtype_mark, or for a
 formal_object_declaration with an access_definition, to a specific anonymous
-access type which in the case of an access-to-object type shall have the same
-designated type as that of the access_definition and in the case of an
-access-to-subprogram type shall have a designated profile which is type
-conformant with that of the access_definition.
+access type. If the anonymous access type is an access-to-object type, the
+type of the actual shall have the same
+designated type as that of the access_definition.
+If the anonymous access type is an access-to-subprogram type, the type of the
+actual shall have a designated profile which is type conformant with that of
+the access_definition.
 
 Add after 12.4(7):
 
@@ -275,9 +277,11 @@
 For a generic formal object of mode @b<in out>, the type of the actual shall
 resolve to the type determined by the @fa<subtype_mark>, or for a
 @fa<formal_object_declaration> with an @fa<access_definition>, to a specific
-anonymous access type which in the case of an access-to-object type shall have
-the same designated type as that of the @fa<access_definition> and in the case
-of an access-to-subprogram type shall have a designated profile which is type
+anonymous access type. If the anonymous access type is an access-to-object type,
+the type of the actual shall have
+the same designated type as that of the @fa<access_definition>.
+If the anonymous access type is an access-to-subprogram type, the type of the
+actual shall have a designated profile which is type
 conformant with that of the @fa<access_definition>.
 
 

Questions? Ask the ACAA Technical Agent