From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!goblin3!goblin.stu.neva.ru!news-1.dfn.de!news.dfn.de!news.uni-weimar.de!medsec1.medien.uni-weimar.de!lucks
From: Stefan.Lucks@uni-weimar.de
Newsgroups: comp.lang.ada
Subject: Re: Running a preprocessor from GPS?
Date: Sat, 1 Aug 2015 22:07:18 +0200
Organization: Bauhaus-Universitaet Weimar
Message-ID: <alpine.DEB.2.20.1508012206190.2016@debian>
References: <e610ca1e-4df6-4fbb-b3a1-ac35694d9072@googlegroups.com>
 <mp645u$abo$1@loke.gir.dk>
 <2df4698f-4c8e-457c-822d-209cb2f8ab5e@googlegroups.com>
 <mp8r8l$fnn$1@loke.gir.dk>
 <014427b1-ff7a-4a69-82e6-0330af77ed96@googlegroups.com>
 <mpbd8f$re$1@loke.gir.dk>
 <d5a73210-a67f-4d21-8b16-536af10ab157@googlegroups.com>
 <mpborl$6b9$1@dont-email.me>
 <91f88d79-197c-419f-84a8-908e05967a2c@googlegroups.com>
 <d1tst3FoastU1@mid.individual.net> <mpdqpu$oq4$1@loke.gir.dk>
 <alpine.DEB.2.20.1507311715090.24880@debian>
 <mpiat2$ols$1@dont-email.me>
NNTP-Posting-Host: medsec1.medien.uni-weimar.de
Mime-Version: 1.0
Content-Type: multipart/mixed; BOUNDARY="8323329-2008186546-1438459639=:2016"
X-Trace: pinkpiglet.scc.uni-weimar.de 1438460186 16461 141.54.178.228 (1 Aug
 2015 20:16:26 GMT)
X-Complaints-To: news@pinkpiglet.scc.uni-weimar.de
NNTP-Posting-Date: Sat, 1 Aug 2015 20:16:26 +0000 (UTC)
X-X-Sender: lucks@debian
In-Reply-To: <mpiat2$ols$1@dont-email.me>
User-Agent: Alpine 2.20 (DEB 67 2015-01-07)
Xref: number.nntp.giganews.com comp.lang.ada:194613
Date: 2015-08-01T22:07:18+02:00
List-Id: <comp.lang.ada>

--8323329-2008186546-1438459639=:2016
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: QUOTED-PRINTABLE

On Sat, 1 Aug 2015, Bj=C3=B6rn 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 =3D> ...;
>>
>
> 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-luck=
s
----Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universit=C3=A4t Weimar, Germa=
ny----

--8323329-2008186546-1438459639=:2016--