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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: G. B. <nonlegitur@nmhp.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Record operations (Algebraic Data Types and printing)
Date: Wed, 10 Oct 2018 18:13:47 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <pplfgr$63i$1@dont-email.me>
References: <0f5608ef-0038-491c-b15f-f67bcc76fae8@googlegroups.com>
 <00285ebf-6ede-44da-848f-456930dc7475@googlegroups.com>
 <pp9hpi$n88$1@gioia.aioe.org>
 <3620199a-f025-4099-83ad-a1e5042dc6c0@googlegroups.com>
 <8903c94f-efc7-4a2c-9513-ee17890b49d2@googlegroups.com>
 <ppgo0j$vet$1@franka.jacob-sparre.dk>
 <fb2af9cb-5317-4f1c-867c-8876212d303b@googlegroups.com>
 <ppj9k1$cjr$1@franka.jacob-sparre.dk>
 <ppk92s$4ht$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Oct 2018 18:13:47 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="2bbc52f0357774288ae4793c904e1d33";
	logging-data="6258"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19mMhmtsOBh++SRS7ukMt3dELiMnZEOEPY="
User-Agent: NewsTap/5.3.1 (iPhone/iPod Touch)
Cancel-Lock: sha1:Ym9kdtHY/qm80QUyJo82oEOcRrc=
	sha1:AptVTJBVJhT9cBw6uGiF2JOru1Q=
Xref: reader02.eternal-september.org comp.lang.ada:54533
Date: 2018-10-10T18:13:47+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> On 2018-10-10 00:20, Randy Brukardt wrote:

>> What package? We're talking about (in part) the default representation for a
>> type.
> 
> What have T'Image and T'Value to do with the type representation?

I suppose that if “for a type” here is to mean given type T one may apply
T’Image to an object (directly), then the result represents an object of
type T. Not in the sense of representation clauses, but in the sense of
printed value.

But are all Ada debuggers and simulators in such a state? I find staring at
trace logs unproductive in comparison.  Maybe, though, some programmers
like the challenge.