Re: Record operations (Algebraic Data Types and printing)

[G. B. <nonlegitur@nmhp.invalid>]

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.