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!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Generic formal type with 'Image Date: Wed, 6 Jun 2018 15:34:02 -0500 Organization: JSA Research & Innovation Message-ID: References: <0dd44c4f-99b5-426d-ba08-831cbb14a795@googlegroups.com> Injection-Date: Wed, 6 Jun 2018 20:34:02 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="25854"; 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:52965 Date: 2018-06-06T15:34:02-05:00 List-Id: "Shark8" wrote in message news:0dd44c4f-99b5-426d-ba08-831cbb14a795@googlegroups.com... ... > Will do it, as all parameters of K are discrete, and therefore K has the >'Image attribute. (As of Ada 2012 *only* discrete types have the 'Image > attribute.) Ada 95 and later allows 'Image on all *scalar* types, that is including reals. Ada 2020 is likely to allow 'Image on all types, and also to allow redefining it similarly to the way one redefines streaming. I say likely because that's still being worked on, and with the deadlines rapidly approaching, I can't guarentee anything will get finished and thus included unless it is already finished. Randy.