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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no 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" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Tue, 8 May 2018 15:12:12 -0500
Organization: JSA Research & Innovation
Message-ID: <pct0av$r6f$1@franka.jacob-sparre.dk>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <87in8buttb.fsf@jacob-sparre.dk> <87wowqpowu.fsf@nightsong.com>
 <16406268-83df-4564-8855-9bd0fe9caac0@googlegroups.com>
 <87o9i2pkcr.fsf@nightsong.com> <pc8l7e$km5$1@franka.jacob-sparre.dk>
 <87in88m43h.fsf@nightsong.com>
 <cd866ee8-ad4d-489e-a38b-d8e5f5d4af00@googlegroups.com>
 <87efiuope8.fsf@nightsong.com>
 <322f9b26-01de-4753-bb50-6ef2f3d993d8@googlegroups.com>
 <87a7th9pd1.fsf@nightsong.com>
 <bbda04b9-0f91-47c5-9193-279b667f503c@googlegroups.com>
 <87h8no1nli.fsf@nightsong.com>
 <f778e764-facc-47b5-896c-fc01d7a3bdbe@googlegroups.com>
 <87po2cyty7.fsf@nightsong.com> <87bmdwhwob.fsf@nightsong.com>
 <6746d7d1-406e-4891-8293-9424aed76215@googlegroups.com>
 <877eoezy6e.fsf@nightsong.com>
 <b2dba7b7-1ca3-458a-826e-e24162f54dc8@googlegroups.com>
 <87y3gun1ha.fsf@nightsong.com>
 <ec04ab22-6316-48d3-bdab-eae1c768c4e0@googlegroups.com>
 <87603yy0wr.fsf@nightsong.com>
 <244b242a-09a8-48d2-918b-77e9b171098f@googlegroups.com>
Injection-Date: Tue, 8 May 2018 20:12:15 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="27855"; 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:52117
Date: 2018-05-08T15:12:12-05:00
List-Id: <comp.lang.ada>

<gautier_niouzes@hotmail.com> wrote in message 
news:244b242a-09a8-48d2-918b-77e9b171098f@googlegroups.com...
Le mardi 8 mai 2018 11:03:38 UTC+2, Paul Rubin a écrit :
...
>> The revision 622 comment says "regressed 'Image to pre-Ada-2012 form,
>> for pleasing gcc version 5.4.0 20160609".  But I'm using the default
>> GNAT with Debian 9 and that seems to use gcc6.  Is that supposed to
>> support Ada 2012?  I thought last time I played with it, I was able to
>> use Ada 2012 features.
>
>My mistake: I thought Value'Image was Ada 2012, but it seems to be a
> Ada 2020 feature put early into GNAT.

Neither: it was added by the 2016 Corrigendum to Ada 2012. Formally, that's 
Ada 2012 (a corrigendum is a "correction" to the Standard, not a new 
version), but you need a very recent compiler for that to be the case in 
practice. I usually say something like "Ada 2012 as corrected by TC1".

                     Randy.