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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a51f2de98248e092
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 features in GNAT
Date: Tue, 14 Jun 2011 08:20:46 +0200
Organization: Ada @ Home
Message-ID: <op.vw1ykweaule2fv@douda-yannick>
References: <4df5bb41$0$6637$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Host: Tatb9PB7oLARrJHlw8DGlw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/11.11 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news2.google.com comp.lang.ada:20781
Date: 2011-06-14T08:20:46+02:00
List-Id: <comp.lang.ada>

Hi Georg

May not be what you are looking, but this seems to say something  =

implicitely:
http://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Extensions_005fAllowed.html=
#Pragma-Extensions_005fAllowed

    In extension mode, the latest version of the Ada language is
    implemented (currently Ada 2012), and in addition a small
    number of GNAT specific extensions are recognized

This seems to say, Ada 2012 is implemented, isn't it ? Well, at least to=
  =

the extent of what is currently defined for Ada 2012. May be there is  =

nothing like the document you are looking for, because Ada 2012 *is  =

implemented* ?

No time to try it myself however (I came to this pragma while seeking fo=
r  =

some restriction pragmas)


Le Mon, 13 Jun 2011 09:24:48 +0200, Georg Bauhaus  =

<rm.dash-bauhaus@futureapps.de> a =C3=A9crit:

> FSF GNAT's documentation refers to a file `features-ada12' that should=

> lists GNAT's support for the forthcoming additions to the Ada language=
:
> "Included with GNAT releases is a file @file{features-ada12} that
> describes the set of implemented Ada 2012 features."
>
> I could not find this file in that GCC SVN repository files or in
> the build directory.  Compiler sources dated 2011-06-10; no ACATS
> failures this time on i686-pc-linux-gnu ;-)
>
> Is @file{features-ada12} just missing? Is it added when AdaCore
> realeases a Pro series compiler? (I'm just guessing.)
>
> AdaCore mentions on its web site that the release of GNAT Pro 6.4.1,
> as of Feb 16, 2011, has an "Ada 2012 preview including most of the
> currently finalized Ada Issues (AIs)".
>


-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D  [Ep=
igrams on  =

Programming =E2=80=94 Alan J. =E2=80=94 P. Yale University]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [Idem]
=E2=80=9Cc++; /* this makes c bigger but returns the old value */=E2=80=9D=
 [Anonymous]