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

--- ai12s/ai12-0225-1.txt	2017/04/21 05:43:53	1.2
+++ ai12s/ai12-0225-1.txt	2017/07/22 02:29:48	1.3
@@ -1,5 +1,7 @@
-!standard 3.5(55.1/4)                                  17-04-19  AI12-0225-1/02
+!standard 3.5(55.1/4)                                  17-07-21  AI12-0225-1/03
 !class binding interpretation 17-04-18
+!status Amendment 1-2012 17-07-21
+!status ARG Approved 6-0-3  17-06-16
 !status work item 17-04-18
 !status received 17-03-22
 !priority Low
@@ -52,17 +54,17 @@
 
 Replace 3.5(55.1/4) with:
 
-For a prefix X of a scalar type other than *universal real* or *universal
-fixed*[ (after any implicit dereference)], the following attributes are
-defined:
+For a prefix X of a scalar type other than *universal_real* or
+*universal_fixed*[ (after any implicit dereference)], the following
+attributes are defined:
 
 AARM Reason: We do not allow universal real or fixed types as the details
 of the result depends on the properties of the type, so a specific nominal
 subtype is needed. On the other hand, the desired string for an integer
-type does not depend upon the type, so we can allow any integer type.
-Such a type is evaluated as type root_integer (as all universal integer
-runtime operations are), so Constraint_Error may be raised if the magnitude
-of the value is too large.
+type does not depend upon the type, so we can allow any integer type,
+including universal_integer. Such a type is evaluated as type root_integer
+(as all universal integer 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
@@ -112,7 +114,17 @@
 
 So it is possible that some style guides (and programmers) will recommend
 consistently using the object/value form over the subtype form. We don't want
-the frustrate such usages with arbitrary restrictions on the use of 'Image.
+the frustrate such usages with arbitrary restrictions on the prefix of 'Image.
+
+!corrigendum 3.5(55.1/4)
+
+@drepl
+For a @fa<prefix> X that denotes an object of a scalar type (after any
+implicit dereference), the following attributes are defined:
+@dby
+For a @fa<prefix> X of a scalar type other than @i<universal_real> or
+@i<universal_fixed> (after any
+implicit dereference), the following attributes are defined:
 
 !ASIS