CVS difference for ais/ai-00018.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00018.txt

--- ais/ai-00018.txt	1998/09/30 00:17:07	1.1
+++ ais/ai-00018.txt	1999/07/08 17:28:21	1.2
@@ -1,4 +1,4 @@
-!standard 04.05.06 (11)                               96-11-16  AI95-00018/03
+!standard 04.05.06 (11)                               99-07-08  AI95-00018/04
 !class confirmation 95-06-25
 !status WG9 approved 96-12-07
 !status ARG Approved 10-0-0  96-10-07
@@ -8,12 +8,12 @@
 !difficulty Easy
 !subject Inconsistency with Ada 83 in the definition of exponentiation
 
-!summary 95-06-25
+!summary
 
 The multiplications of an exponentiation are associated in an arbitrary
 order.
 
-!question 95-06-25
+!question
 
 4.5.6(11) says:
 
@@ -24,15 +24,20 @@
 However, RM83 required left-to-right associations.  Is this an upward
 inconsistency?
 
-!response 95-06-25
+!response
 
 RM83 required left-to-right associations, and AI-00137 confirmed this.
 AI-00868 allows arbitrary association, but AI-00868 was never formally
 approved.  Hence, this represents an upward inconsistency, and should
 be so documented in the AARM.
 
-!appendix 95-10-12
+!ACATS test
 
+While it is possible to test if the permission has been exercised, there
+is no value in doing so.
+
+!appendix
+
 !section 4.5.6(11)
 !subject Inconsistency with Ada'83 in the definition of exponentiation
 !reference RM95-4.5.6(11);5.95
@@ -88,7 +93,7 @@
 > The 'response' section of this AI says: "Although RM83 required left-to-right
 > associations, AI-????? allows arbitrary order. (???Need to find the AI number,
 > and make sure that's what it says.)"
-> 
+>
 > The AI number is 868, and it actually allows arbitrary order.  But the problem
 > is that my records indicate that AI83-00868 never went beyond the "work item"
 > status (my records may be obsolete though...).  In particular it was never

Questions? Ask the ACAA Technical Agent