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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:f00b:: with SMTP id
 w11-v6mr389730ioc.31.1528360556622;
        Thu, 07 Jun 2018 01:35:56 -0700 (PDT)
X-Received: by 2002:a9d:5788:: with SMTP id q8-v6mr44528oth.3.1528360556462;
 Thu, 07 Jun 2018 01:35:56 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.swapon.de!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no2677843itb.0!news-out.google.com!z3-v6ni2179iti.0!nntp.google.com!u74-v6no2677842itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 7 Jun 2018 01:35:56 -0700 (PDT)
In-Reply-To: <pf99i7$b33$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=194.39.218.10;
 posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 194.39.218.10
References: <pf8m2r$vj$1@dont-email.me> <pf99i7$b33$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <40793817-5a96-4802-8014-f8e92da8d47e@googlegroups.com>
Subject: Re: Generic formal type with 'Image
From: Marius Amado-Alves <amado.alves@gmail.com>
Injection-Date: Thu, 07 Jun 2018 08:35:56 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:52972
Date: 2018-06-07T01:35:56-07:00
List-Id: <comp.lang.ada>

Fascinating indeed, thanks.

My gut feeling is that the assertion

   X = T'Value(T'Image(X))

should be met for all types with 'Image.

'Image for records would be really useful!

Also useful (and easy) would be an Object'Image utility (like GNAT's 'Img) for all types with 'Image.

/* Also note that 'Image for arrays (with the 'Value rule above) could create too large strings, say of 20M characters, for a 1000x1000 matrix. Programmer's responsability, I know. Ok since it's just for debugging I guess. */

Sorry if this has been discussed/decided already in the AI. (I see there that Randy supports the Value rule.)