CVS difference for ai12s/ai12-0393-1.txt
--- ai12s/ai12-0393-1.txt 2020/09/11 22:24:01 1.2
+++ ai12s/ai12-0393-1.txt 2020/09/12 02:56:35 1.3
@@ -27,8 +27,8 @@
in the context of a static predicate, and it seems worth re-opening, and
coming to the conclusion that such a constant is not static. However, we plan
to retain this as a pathology, since there was an ACATS test (ACATS test
-B490001) which required declaring such a constant object as static, which
-forced implementers to make a choice.
+B490001) which required allowing the declaration of such a constant object,
+which forced implementers to make a choice about this question.
@@ -63,7 +63,7 @@
treated the constant as static (making previously legal code illegal, even
if it never is executed), potentially impacting their customers. Such code
is very possible in conditionally compiled code; enforcement of legality rules
-on static expressions enforced on such code is a known problem with Ada.
+on static expressions enforced on such code is a known issue with Ada.
Finally, in most cases, the original "static" object that did not satisfy
a constraint or predicate would raise an exception at run time, so code using
Questions? Ask the ACAA Technical Agent