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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Record operations (Algebraic Data Types and printing)
Date: Fri, 12 Oct 2018 14:20:11 -0500
Organization: JSA Research & Innovation
Message-ID: <ppqs5e$shj$1@franka.jacob-sparre.dk>
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>
 <pplfgr$63i$1@dont-email.me> <ppnc6a$i2i$1@dont-email.me>
 <ppqrfp$7ct$1@dont-email.me>
Injection-Date: Fri, 12 Oct 2018 19:20:14 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="29235"; mail-complaints-to="news@jacob-sparre.dk"
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.7246
Xref: reader02.eternal-september.org comp.lang.ada:54556
Date: 2018-10-12T14:20:11-05:00
List-Id: <comp.lang.ada>

"G. B." <nonlegitur@nmhp.invalid> wrote in message 
news:ppqrfp$7ct$1@dont-email.me...
...
> 'Image turns us into a human interpreters of haphazard Lisp like symbols
> in the end. Some programmers enjoy themselves doing this kind of
> recreational symbolic mathematics.

??

The default 'Image proposed is of course an Ada aggregate for the type. It 
only gets a bit weird for access values, task types, and protected types --  
but hopefully no one is looking much at the latter two and for the former 
one typically overrides with something meaningful (that's based on my 
experience doing this manually).

So "decoding" this is essentially the same as reading Ada code. If that's a 
hardship, you're in the wrong business. ;-)

                                              Randy.