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

--- ai05s/ai05-0151-1.txt	2010/01/12 04:46:24	1.7
+++ ai05s/ai05-0151-1.txt	2010/06/11 01:42:35	1.8
@@ -1,4 +1,4 @@
-!standard  3.10.1(8/2)                                 10-01-11    AI05-0151-1/06
+!standard  3.10.1(8/2)                             10-06-09    AI05-0151-1/07
 !standard  3.10.1(8.2/2)
 !standard  3.10.1(9.1/2)
 !standard  3.10.1(9.2/2)
@@ -63,15 +63,8 @@
 
    {* 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
@@ -101,7 +94,9 @@
   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. A prefix shall not denote a subprogram
+  having a formal parameter of an untagged incomplete view,
+  nor a return type that is an incomplete view.}
 
 Add after 3.10.1(13) (this is a new note):
 
@@ -165,13 +160,6 @@
 @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
@@ -203,7 +191,9 @@
 A @fa<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. A @fa<prefix> shall not denote a subprogram
+having a formal parameter of an untagged incomplete view,
+nor a return type that is an incomplete view.
 
 !corrigendum 3.10.1(13/2)
 
@@ -778,3 +768,13 @@
 the drawing board.
 
 ****************************************************************
+
+From phone meeting #6 (21-Jan-2010):
+
+Revise wording to allow the same incomplete types from limited views in
+access-to-subprogram. Require completions at/before the use of 'Access for
+untagged incomplete types in access-to-subprogram types - treat similarly
+to a call).
+
+****************************************************************
+