CVS difference for ais/ai-00175.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00175.txt

--- ais/ai-00175.txt	2000/08/01 05:39:34	1.9
+++ ais/ai-00175.txt	2001/03/22 22:24:53	1.10
@@ -45,8 +45,13 @@
 
 !ACATS test
 
-Add checks that Integer'Succ and Integer'Pred do not conform (as well
-as Integer'First and Integer'Last) to the existing tests B63009A, 9B, 9C.
+Add checks to existing B-Tests B63009A, 9B, and 9C to check that attribute
+designators must be the same in conforming expressions. (No Test,
+4-4-0 (2/3rd majority required, but not achieved), ARG Letter Ballot,
+February 2001). If tested, check that Integer'Succ and Integer'Pred do not
+conform (as well as Integer'First and Integer'Last). This was rejected both
+because it is too hard to test throughly (there are a lot of attribute pairs),
+and because it is unlikely that a compiler would do this incorrectly.
 
 !corrigendum 6.3.1(21)
 

Questions? Ask the ACAA Technical Agent