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

Differences between 1.6 and version 1.7
Log of other versions for file ai05s/ai05-0151-1.txt

--- ai05s/ai05-0151-1.txt	2010/01/09 01:31:29	1.6
+++ ai05s/ai05-0151-1.txt	2010/01/12 04:46:24	1.7
@@ -1,8 +1,7 @@
-!standard  3.10.1(8/2)                                 09-12-11    AI05-0151-1/05
+!standard  3.10.1(8/2)                                 10-01-11    AI05-0151-1/06
 !standard  3.10.1(8.2/2)
 !standard  3.10.1(9.1/2)
 !standard  3.10.1(9.2/2)
-!standard  3.10.1(9.3/2)
 !standard  3.10.1(10/2)
 !standard  3.10.1(13/2)
 !class Amendment 09-04-29
@@ -64,8 +63,15 @@
 
    {* as the subtype_mark defining the subtype of a parameter or result
       in a profile occurring within a basic_declaration.
-        AARM Ramification: But not in the profile for a body.}
+        AARM Ramification: But not in the profile for a body.
 
+  If the subtype_mark occurs within an access_to_subprogram_definition
+  or an access_definition for an access-to-subprogram type, then the
+  subtype_mark shall denote a tagged incomplete view or the
+  access-to-subprogram type definition shall occur within the
+  declaration list immediately containing the completion of the
+  incomplete view.}
+
   If such a name denotes a tagged incomplete view, it may also be used:
 
     * as the subtype_mark defining the subtype of a parameter in [a
@@ -84,16 +90,10 @@
     access-to-subprogram type.]
 
   If any of the above uses occurs as part of the declaration of a
-  primitive subprogram of the incomplete view, {or as part of an
-  access_to_subprogram_definition or an access_definition for an
-  access-to-subprogram type, then the primitive subprogram declaration
-  or the access-to-subprogram type definition shall occur within the
-  declaration list immediately containing} [and the declaration occurs
-  immediately within the private part of a package, then] the completion of
-  the incomplete view [shall also occur immediately within the private
-  part; it shall not be deferred to the package body].
-     {AARM Ramification: In this case, the incomplete type cannot be deferred
-      to the package body, even if the declaration occurs in the private part.}
+  primitive subprogram of the incomplete view, and the declaration
+  occurs immediately within the private part of a package, then the
+  completion of the incomplete view shall also occur immediately within
+  the private part; it shall not be deferred to the package body.
 
   No other uses of a name that denotes an incomplete view of a type are
   allowed.
@@ -101,7 +101,7 @@
   A prefix that denotes an object shall not be of an incomplete view.
   {An actual parameter in a call shall not be of an untagged incomplete
   view. The result object of a function call shall not be of an
-  incomplete view.
+  incomplete view.}
 
 Add after 3.10.1(13) (this is a new note):
 
@@ -165,6 +165,13 @@
 @xbullet<as the @fa<subtype_mark> defining the subtype of a parameter
 or result in a profile occurring within a @fa<basic_declaration>.>
 
+If the @fa<subtype_mark> occurs within an @fa<access_to_subprogram_definition>
+or an @fa<access_definition> for an access-to-subprogram type, then the
+@fa<subtype_mark> shall denote a tagged incomplete view or the
+access-to-subprogram type definition shall occur within the
+declaration list immediately containing the completion of the
+incomplete view.
+
 !corrigendum 3.10.1(8.2/2)
 
 @drepl
@@ -187,23 +194,6 @@
 @xbullet<as the @fa<subtype_mark> defining the subtype of a parameter or result
 of an @fa<access_to_subprogram_definition> or an @fa<access_definition> for an
 access-to-subprogram type.>
-
-!corrigendum 3.10.1(9.3/2)
-
-@drepl
-If any of the above uses occurs as part of the declaration of a primitive
-subprogram of the incomplete view, and the declaration occurs immediately within
-the private part of a package, then the completion of the incomplete view shall
-also occur immediately within the private part; it shall not be deferred to the
-package body.
-@dby
-If any of the above uses occurs as part of the declaration of a
-primitive subprogram of the incomplete view, {or as part of an
-@fa<access_to_subprogram_definition> or an @fa<access_definition> for an
-access-to-subprogram type, then the primitive subprogram declaration
-or the access-to-subprogram type definition shall occur within the
-declaration list immediately containing} the completion of
-the incomplete view.
 
 !corrigendum 3.10.1(10/2)
 

Questions? Ask the ACAA Technical Agent