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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!news-1.dfn.de!news.dfn.de!news.uni-weimar.de!medsec1.medien.uni-weimar.de!lucks From: Stefan.Lucks@uni-weimar.de Newsgroups: comp.lang.ada Subject: Re: Running a preprocessor from GPS? Date: Fri, 31 Jul 2015 17:21:16 +0200 Organization: Bauhaus-Universitaet Weimar Message-ID: References: <2df4698f-4c8e-457c-822d-209cb2f8ab5e@googlegroups.com> <014427b1-ff7a-4a69-82e6-0330af77ed96@googlegroups.com> <91f88d79-197c-419f-84a8-908e05967a2c@googlegroups.com> NNTP-Posting-Host: medsec1.medien.uni-weimar.de Mime-Version: 1.0 Content-Type: multipart/mixed; BOUNDARY="8323329-1585975758-1438356077=:24880" X-Trace: pinkpiglet.scc.uni-weimar.de 1438356621 23958 141.54.178.228 (31 Jul 2015 15:30:21 GMT) X-Complaints-To: news@pinkpiglet.scc.uni-weimar.de NNTP-Posting-Date: Fri, 31 Jul 2015 15:30:21 +0000 (UTC) X-X-Sender: lucks@debian In-Reply-To: User-Agent: Alpine 2.20 (DEB 67 2015-01-07) Xref: news.eternal-september.org comp.lang.ada:27268 Date: 2015-07-31T17:21:16+02:00 List-Id: --8323329-1585975758-1438356077=:24880 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: QUOTED-PRINTABLE On Thu, 30 Jul 2015, Randy Brukardt wrote: >> and extension of this attribute to cover record and array types. > > We've tried that (and the topic is still open, AI12-0020-1), but it quick= ly > runs into a host of little problems (what do to with access components? > How/whether to make a matching 'Value? What about private components? Etc= =2E) > I wouldn't count on seeing that ever happen. How about supporting T'Image (or O'Image for objects of type T) if and only if T'Image has explicitely been defined? One could write for T'Image use function The_Image_Of_T(Input: T) return String; or in aspect syntax type T is record ... end record with Image =3D> ...; -------- I love the taste of Cryptanalysis in the morning! -------= - www.uni-weimar.de/de/medien/professuren/mediensicherheit/people/stefan-luck= s ----Stefan.Lucks (at) uni-weimar.de, Bauhaus-Universit=E4t Weimar, Germany-= --- --8323329-1585975758-1438356077=:24880--