[GAP] Ada 2012 in Gnat 2011 ?

[Cyrille Comar]

Le 06/06/2011 13:12, Pierre Habraken a écrit :
> Hello,
>

Hello Pierre,

> New features of Ada 2012 such as pre and post-conditions, type
> invariants, etc... would be very helpful in teaching algorithmics using
> Ada. Can we expect that some of these features will be implemented in
> the 2011 release of Gnat ?
> Thanks in advance for any info.

yes, those Ada 2012 features are implemented and will be in the GPL 2011 
edition. Note that pre/post are already there in previous versions in 
the form of pragmas but obviously, the 2012 syntax is nicer to use.

Since your question is of general interest, I took the liberty to add 
the Gap mailinglist to the recipients so that others in the GAP 
community can see it as well.