CVS difference for ais/ai-10318.txt

--- ais/ai-10318.txt	2004/12/09 19:55:40	1.11
+++ ais/ai-10318.txt	2005/01/28 02:10:53	1.12
@@ -185,6 +185,12 @@
         [formal_part] RETURN subtype_mark
       | [formal_part] RETURN access_definition
 
+Add the following to 6.1(23):
+
+The nominal subtype of a function result is the subtype
+denoted by the subtype_mark, or defined by the access_definition,
+in the parameter_and_result_profile.
+
 Change 6.1(24) to:
 
 An *access parameter* is a formal in* parameter specified by an
@@ -194,6 +200,17 @@
 An access parameter or result type is of an anonymous general
 access-to-variable type (see 3.10). Access parameters allow dispatching
 calls to be controlled by access values.
+
+Change 6.1(28) to:
+
+* For any non-access result, the nominal subtype of the function result.
+
+* For any access result type of an access-to-object type, the
+  designated subtype of the result type.
+
+* For any access result type of an access-to-subprogram type, the
+  subtypes of the profile of the result type.
+
 
 Modify 6.3.1(16) as follows: