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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: 'Image
Date: Tue, 18 Nov 2014 16:29:00 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <m4gh7d$dri$1@loke.gir.dk>
References: <DA%7w.753721$Y4.288171@fx24.iad>
	<w118w.110576$5U6.95784@fx01.iad>
 <54609F34.4080201@spam.spam>	<35f01472-3510-4f67-8765-006fa8591c35@googlegroups.com>
	<9tc8w.73007$ZT5.37595@fx07.iad>
	<22a3816a-4e89-48f0-a126-dce581781beb@googlegroups.com>
	<mqw8w.739469$w82.82975@fx21.iad>
	<cd91630f-d78d-4eab-830c-f71005e93fc0@googlegroups.com>
	<084b1934-9641-425e-85ec-293e0334413e@googlegroups.com>
	<86bf69c8-eb08-4696-b6c9-3784f5c42213@googlegroups.com>
	<Jwy8w.500685$Ub6.487517@fx20.iad>
	<d4b8f45d-e327-4d78-a0d6-838aba063e4d@googlegroups.com>
	<lyoascltws.fsf@pushface.org>
 <YYE8w.620042$Lj7.284655@fx22.iad>	<87389olqie.fsf@ixod.org>
 <zTF8w.509165$No4.167804@fx19.iad>
	<fca06fd0-6970-46a5-95b9-6b6317a37f7c@googlegroups.com>
	<aSG8w.567817$Q61.266688@fx13.iad>
 <m40odq$tdv$1@loke.gir.dk>	<19fa65d4-72c9-44ab-b44b-4ea0929c18f2@googlegroups.com>
	<m441oa$vv7$1@loke.gir.dk> <87a93s8j4m.fsf@mid.deneb.enyo.de>
 <m48b93$ke0$1@dont-email.me> <m4e4ge$fu5$1@loke.gir.dk>
 <m4evds$bru$1@dont-email.me>
NNTP-Posting-Host: 24-196-82-226.static.mdsn.wi.charter.com
X-Trace: loke.gir.dk 1416349741 14194 24.196.82.226 (18 Nov 2014 22:29:01 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 18 Nov 2014 22:29:01 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:23529
Date: 2014-11-18T16:29:00-06:00
List-Id: <comp.lang.ada>

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