CVS difference for ais/ai-00175.txt

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

--- ais/ai-00175.txt	1999/06/22 01:44:37	1.4
+++ ais/ai-00175.txt	1999/06/26 01:11:13	1.5
@@ -1,5 +1,6 @@
-!standard 06.03.01 (19)                               99-06-12  AI95-00175/02
+!standard 06.03.01 (19)                               99-06-25  AI95-00175/03
 !class binding interpretation 97-03-19
+!status Corrigendum 2000 99-06-25
 !status WG9 approved 99-06-12
 !status ARG Approved 9-0-0  99-03-24
 !status work item 97-03-19
@@ -38,6 +39,22 @@
 conformant. None of the reasons for conformance checking would be
 enforced if this was true. Thus, the RM's failure to require this can
 only be categoried as an oversight.
+!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.
+!corrigendum 6.3.1(21)
+@xbullet<each @fa<direct_name>, @fa<character_literal>, and @fa<selector_name>
+that is not part of the @fa<prefix> of an expanded name in one denotes the
+same declaration as the corresponding @fa<direct_name>, @fa<character_literal>,
+or @fa<selector_name> in the other; and>
+@xbullet<each @fa<attribute_designator> must be the same as the corresponding
+@fa<attribute_designator> in the other; and>

Questions? Ask the ACAA Technical Agent