On Thu, 30 Jul 2015, Randy Brukardt wrote:

>> and extension of this attribute to cover record and array types.
>
> We've tried that (and the topic is still open, AI12-0020-1), but it quickly
> runs into a host of little problems (what do to with access components?
> How/whether to make a matching 'Value? What about private components? Etc.)
> I wouldn't count on seeing that ever happen.

How about supporting

   T'Image (or O'Image for objects of type T)

if and only if T'Image has explicitely been defined?

One could write

   for T'Image use function The_Image_Of_T(Input: T) return String;

or in aspect syntax

   type T is record
     ...
   end record
     with Image => ...;





--------  I  love  the  taste  of  Cryptanalysis  in  the morning!  --------
www.uni-weimar.de/de/medien/professuren/mediensicherheit/people/stefan-lucks
----Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universität Weimar, Germany----