Re: Ada 2012 features in GNAT

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

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 for  
some restriction pragmas)


Le Mon, 13 Jun 2011 09:24:48 +0200, Georg Bauhaus  
<rm.dash-bauhaus@futureapps.de> a écrit:

> 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)".
>


-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
“c++; /* this makes c bigger but returns the old value */” [Anonymous]