CVS difference for ai12s/ai12-0043-1.txt
--- ai12s/ai12-0043-1.txt 2013/01/03 05:35:47 1.3
+++ ai12s/ai12-0043-1.txt 2013/05/09 01:39:14 1.4
@@ -70,13 +70,14 @@
deviate. We could try to add some normative wording to that effect, but it's
hard to word and it only seems necessary to someone who is trying to cheat.
-We changed the point where Storage_Error is raised in this wording. That's
-necessary in case Storage_Error is specified with an aspect (likely in new
-code) -- in that case, no attribute_definition_clause is available to be
+We changed the point where Storage_Error is raised in this wording. The
+existing wording says that it is raised at the point of the
+attribute_definition_clause. If Storage_Size is specified with an aspect (likely
+in new code) -- then no attribute_definition_clause is available to be
the point of raising the error. In addition, the amount to round up might not
be available until the type is frozen (if it depends on the designated type).
In any case, the exception will be raised in the same declarative part,
-and it would take a truely pathological program to be able to tell the
+and it would take a truly pathological program to be able to tell the
difference (having a declaration with a side-effect occuring between the
attribute_definition_clause and the freezing point).
Questions? Ask the ACAA Technical Agent