CVS difference for ais/ai-00094.txt

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

--- ais/ai-00094.txt	1998/09/30 00:17:15	1.1
+++ ais/ai-00094.txt	1999/07/08 17:28:21	1.2
@@ -1,4 +1,4 @@
-!standard RM-A.5.1 (42)                               97-04-11  AI95-00094/00
+!standard RM-A.5.1 (42)                               99-07-08  AI95-00094/01
 !class confirmation 95-09-29
 !status WG9 approved (8-0-0) 97-07-04
 !status ARG approved (7-0-0) 97-04-11
@@ -8,11 +8,11 @@
 !difficulty Easy
 !subject Exponentiation: 0.0 ** 0.0 raises Argument_Error.
 
-!summary 95-09-29
+!summary
 
 0.0 ** 0.0 raises the exception Numerics.Argument_Error.
 
-!question 95-09-29
+!question
 
 A.5.1(42) says:
 
@@ -22,7 +22,7 @@
 
 So what does 0.0 ** 0.0 do?
 
-!response 95-09-29
+!response
 
 A.5.1(19,23) say:
 
@@ -36,8 +36,12 @@
 Thus, A.5.1(42) is not self-contradictory; 0.0 ** 0.0 raises
 Argument_Error.
 
-!appendix 95-09-29
+!ACATS test
 
+ACATS test CXA5A10 checks that Argument_Error is raised for 0.0 ** 0.0.
+
+!appendix
+
 !section RM-A.5.1(42)
 !subject Incosistent definition of exponentiation
 !reference RM95-a.5.1 (42)
@@ -62,7 +66,7 @@
 Also, the Ada95 RM states that any argument raised to the exponent 0 yields the
 value one in the section discussing the exponentiation operator.
 
-I would like to suggest that the wording in this paragraph be changed such 
+I would like to suggest that the wording in this paragraph be changed such
 that 0 ** 0 = 1.  This will make the Ada95 RM agree with Ada83.
 
 --Rich

Questions? Ask the ACAA Technical Agent