CVS difference for ai12s/ai12-0225-1.txt

--- ai12s/ai12-0225-1.txt	2017/04/19 04:05:53	1.1
+++ ai12s/ai12-0225-1.txt	2017/04/21 05:43:53	1.2
@@ -1,4 +1,4 @@
-!standard 3.5(55.1/4)                                  17-04-18  AI12-0225-1/01
+!standard 3.5(55.1/4)                                  17-04-19  AI12-0225-1/02
 !class binding interpretation 17-04-18
 !status work item 17-04-18
 !status received 17-03-22
@@ -64,6 +64,12 @@
 runtime operations are), so Constraint_Error may be raised if the magnitude
 of the value is too large.
 
+[Editor's note: The part about "evaluated as root_integer" depends on
+AI12-0227-1 being approved. In the absence of that, the wording would need
+to be changed to "other than a universal type" and the AARM note and the
+discussion below would need to be changed. We're certainly not going to
+require runtime evaluation of Image for values larger than System.Max_Int.]
+
 !discussion
 
 AI12-0124-1 implies that a value was intended as a legal prefix. It says in
@@ -91,11 +97,11 @@
 operation. We don't want to force compilers to support arbitrary-sized values
 at runtime (especially as Image is never static as noted above).
 
-** TBD: Since universal integer expressions are evaluated as if they belong to
+Since universal integer expressions are evaluated as if they belong to
 type root_integer, we don't need special rules about the range;
 Constraint_Error may be raised if the value is outside of the range
-System.Min_Int .. System.Max_Int. ** End TBD: 8.6(29) does NOT have the needed
-effect; we may decide to change it or may decide to fix things here.
+System.Min_Int .. System.Max_Int. [This paragraph depends on AI12-0227-1
+being approved; 8.6(29) does NOT have the needed effect.]
 
 ---