"Björn Lundin" <b.f.lundin@gmail.com> wrote in message 
news:m4evds$bru$1@dont-email.me...
> On 2014-11-18 01:39, Randy Brukardt wrote:
>> "Georg Bauhaus" <bauhaus@futureapps.invalid> wrote in message
>> news:m48b93$ke0$1@dont-email.me...
>>> On 15.11.14 18:32, Florian Weimer wrote:
>> ...
>>> Will 'Image be user definable?
>>
>> No, not in the Corrigendum (at least).
>
> Is it conceptually the same as T'Image(varible) where T is a scalar type
> ? That is, it will not apply to records ?

Yes, exactly. Specifically:

 For a prefix X that denotes an object of a scalar type[ (after any implicit 
dereference)], the following attributes are defined:

X'Image  X'Image denotes the result of calling function S'Image with Arg 
being X, where S is the nominal subtype of X.

and similarly for Wide_Image and Wide_Wide_Image.

We've looked at ideas for allowing Image on record types, but it gets messy 
in a hurry, especially if user-defined Image is involved. (User-defined 
'Image only makes sense if there is some additional functionally associated 
with that, as in the stream case; otherwise, just defining a normal function 
is good enough [and fewer characters to write, too].)

                                Randy.