CVS difference for ai12s/ai12-0186-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0186-1.txt

--- ai12s/ai12-0186-1.txt	2016/10/06 04:09:17	1.4
+++ ai12s/ai12-0186-1.txt	2016/11/11 02:40:10	1.5
@@ -1,16 +1,17 @@
-!standard 13.14(15)                                 16-10-04  AI12-0186-1/02
+!standard 13.14(15)                                 16-10-09  AI12-0186-1/03
 !class ramification 16-04-21
 !status work item 16-04-21
 !status received 16-01-09
 !priority Low
-!difficulty Easy
+!difficulty Hard
 !subject Profile freezing for the Access attribute
 !summary
 
 Using the access attribute does not freeze the profile of the associated
-access type; that only happens upon a call of a value of the access type,
-use as a generic actual parameter of an instance, the occurrence of a
-body, or at the end of the declarative part.
+access type (nor of the subprogram denoted by the prefix); that only happens
+upon a call of a value of the access type, use as a generic actual parameter
+of an instance, the occurrence of a body, or at the end of the declarative
+part.
 
 !question
 
@@ -58,14 +59,16 @@
 
 Modify 13.14(15):
 
-  At the place where a subtype is frozen, its type is frozen. At the
-  place where a type is frozen, any expressions or names within the full
-  type definition cause freezing{, other than those that occur within an
-  access_type_definition or an access_definition}; the first subtype,
-  and any component subtypes, index subtypes, and parent subtype of the
-  type are frozen as well. For a specific tagged type, the corresponding
-  class-wide type is frozen as well. For a class-wide type, the
-  corresponding specific type is frozen as well.
+  At the place where a subtype is frozen, its type is frozen. At the place
+  where a type is frozen, any expressions or names within the full type
+  definition cause freezing{, other than the name that is the subtype_mark
+  used in specifying the designated subtype in an access-to-object type
+  definition, or expressions or names that appear within the designated
+  profile of an access-to-subprogram type definition}; the first subtype,
+  and any component subtypes, index subtypes, and parent subtype of the type
+  are frozen as well. For a specific tagged type, the corresponding class-wide
+  type is frozen as well. For a class-wide type, the corresponding specific
+  type is frozen as well.
 
 !discussion
 
@@ -401,6 +404,32 @@
 Sent: Wednesday, October 5, 2016  8:55 PM
 
 "Clarification" is one of the three sub-categories of Binding Interpretation.
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Saturday, October 8, 2016  9:00 PM
+
+I had to split out access-to-object and access-to-subprogram, and be careful
+how I talked about the subtype_mark "used in specifying" the designated_subtype
+(since in some cases it is part of a subtype_indication, and in others it is
+used directly).
+
+Hence,...
+
+Modify 13.14(15) as follows:
+
+   At the place where a subtype is frozen, its type is frozen. At the
+   place where a type is frozen, any expressions or names within the full
+   type definition cause freezing{, other than the name that is the
+   subtype_mark used in specifying the designated subtype in an
+   access-to-object type definition, or expressions or names that appear
+   within the designated profile of an access-to-subprogram type definition};
+   the first subtype, and any component subtypes, index subtypes, and parent
+   subtype of the type are frozen as well. For a specific tagged type,
+   the corresponding class-wide type is frozen as well. For a class-wide
+   type, the corresponding specific type is frozen as well.
+
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent