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

--- ai05s/ai05-0005-1.txt	2010/08/13 05:32:35	1.33
+++ ai05s/ai05-0005-1.txt	2010/10/26 05:39:46	1.34
@@ -2105,6 +2105,44 @@
 
 ****************************************************************
 
+!topic AARM error in 3.10.2
+!reference AARM 3.10.2(22.n-22.r)
+!from Adam Beneschan 10-04-06
+!discussion
+
+AARM 3.10.2(22.n through 22.q/2) says:
+
+22.n:  Most accessibility checking is done at compile time; the rules
+       are stated in terms of "statically deeper than".  The
+       exceptions are: 
+
+22.q/2: Checks during function return and allocators, for nested type
+       extensions and access discriminants.
+
+Then 22.r says
+
+Note that run-time checks are not required for access discriminants...
+
+which contradicts 22.q/2.  Obviously this is a holdover from AARM95 and should be removed.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, April 6, 2010  4:48 PM
+
+I think it would be more useful to add an exception for the cases mentioned in
+22.q/2, since the model still is that run-time checks are not made for access discriminants
+in most cases. (General run-time checks for access discriminants would be very complex.)
+The checks that are made occur only on object creation (not use as one might expect) and
+only in cases where the object might live longer than the context of creation.
+
+So I suggest something like:
+
+Note that run-time checks are not required for access discriminants {(except during
+function returns and allocators)}, because ...
+
+****************************************************************
+
 From: Tucker Taft
 Sent: Tuesday, May 11, 2010  4:36 PM