CVS difference for 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