On Sat, 1 Aug 2015, Björn Lundin wrote:

>> 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 => ...;
>>
>
> And if not explicitly defined, T'Image could perhaps
> return an empty string, ""

I would prefer raising a "Program_Error" (or whatever).


--------  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----