From: Marius Amado-Alves <amado.alves@gmail.com>
Subject: Re: Generic formal type with 'Image
Date: Thu, 7 Jun 2018 01:35:56 -0700 (PDT)
Date: 2018-06-07T01:35:56-07:00 [thread overview]
Message-ID: <40793817-5a96-4802-8014-f8e92da8d47e@googlegroups.com> (raw)
In-Reply-To: <pf99i7$b33$1@dont-email.me>
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.)
next prev parent reply other threads:[~2018-06-07 8:35 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-06 13:03 Generic formal type with 'Image Alejandro R. Mosteo
2018-06-06 14:18 ` ytomino
2018-06-06 15:34 ` Jeffrey R. Carter
2018-06-06 18:35 ` Alejandro R. Mosteo
2018-06-07 8:35 ` Marius Amado-Alves [this message]
2018-06-07 21:26 ` Randy Brukardt
2018-06-06 18:56 ` Shark8
2018-06-06 20:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox