CVS difference for ais/ai-00025.txt
--- ais/ai-00025.txt 2000/06/21 23:39:06 1.5
+++ ais/ai-00025.txt 2000/07/13 04:31:26 1.6
@@ -1,4 +1,4 @@
-!standard 12.05.04 (04) 00-01-25 AI95-00025/04
+!standard 12.05.04 (04) 00-07-12 AI95-00025/05
!class confirmation 95-06-25
!status Response 2000 00-01-25
!status WG9 approved 96-12-07
@@ -18,8 +18,8 @@
!question
12.5.4(4) states that "If and only if the general_access_modifier
-constant applies to the formal, the actual shall be an access-to
-constant type". Is it really intended to forbid an access-to-variable
+constant applies to the formal, the actual shall be an access-to-constant
+type". Is it really intended to forbid an access-to-variable
type from being passed as an actual to a generic formal
access-to-constant type? (Yes.)
@@ -49,8 +49,6 @@
value designating a constant, thus allowing a constant to be modified.
This would be very bad. Hence, the "if and only if" wording of
12.5.4(4).
-
-This should be explained in the AARM.
!ACATS test
Questions? Ask the ACAA Technical Agent