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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0406-1.txt

--- ai12s/ai12-0406-1.txt	2020/11/21 03:33:11	1.1
+++ ai12s/ai12-0406-1.txt	2020/12/03 05:17:17	1.2
@@ -1,4 +1,4 @@
-!standard 3.10.2(3/2)                                    20-11-20  AI12-0406-1/01
+!standard 3.10.2(3/2)                                    20-12-01  AI12-0406-1/02
 !standard 3.10.2(18)
 !standard 3.10.2(19/3)
 !standard 3.10.2(19.1/3)
@@ -65,7 +65,7 @@
   
 Delete AARM 3.10.2(18.a). [We're now talking about constructs.]
 
-Replace 3.10.2(19/3-19.1/3):
+Replace 3.10.2(19/3-19.1/3): [Note: The third paragraph here comes from AI12-0392-1]
 
   The statically deeper relationship does not apply to the accessibility level 
   of the anonymous type of an access parameter specifying an access-to-object 
@@ -78,15 +78,21 @@
   that is, such an accessibility level is not considered to be statically 
   deeper, nor statically shallower, than any other.
 
+  The statically deeper relationship does not apply to the
+  accessibility level of a raise_expression; that is, such an
+  accessibility level is not considered to be statically deeper, nor
+  statically shallower, than any other.
+
 with:
 
   The statically deeper relationship does not apply to the accessibility level 
   of the following:
     * the anonymous type of an access parameter specifying an access-to-object 
       type;
+    * the type of a stand-alone object of an anonymous access-to-object type;
+    * a raise_expression;
     * a descendant of a generic formal type;
-    * a descendant of a type declared in a generic formal package;
-    * the type of a stand-alone object of an anonymous access-to-object type.
+    * a descendant of a type declared in a generic formal package.
   That is, such an accessibility level is not considered to be statically 
   deeper, nor statically shallower, than any other.
 
@@ -129,7 +135,7 @@
 (2) 3.10.2(19/3) says that the statically deeper relationship does not apply
 to generic formal types, while 3.10.2(20) says that a generic package body
 is assumed instantiated at the level it is declared. The reason for the 
-difference is that a generic unit can be instantiated can be given at the same 
+difference is that a generic unit can be instantiated at the same 
 level or a deeper level; it cannot be instantiated at an outer level (as it is
 not visible). Thus, we can assume that the level is at least that of the 
 declaration and make appropriate static checks in that case. This is

Questions? Ask the ACAA Technical Agent