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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,23c0de5a42cf667e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!newsfeed.straub-nv.de!eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT packages in Linux distributions
Date: Mon, 10 May 2010 23:00:32 +0200
Organization: A noiseless patient Spider
Message-ID: <87fx1zwjyn.fsf@ludovic-brenta.org>
References: <j5e1x31qvn1b$.11ywrjmshtauz$.dlg@40tude.net>
	<87mxw9x7no.fsf@ludovic-brenta.org>
	<t8liq7w6ffnm$.19yq5hkq6tdto$.dlg@40tude.net>
	<op.vcgi9oqzule2fv@garhos> <w1q9e75h9kzi.4p81vh3kannn$.dlg@40tude.net>
	<op.vch6dsqmxmjfy8@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 10 May 2010 21:00:32 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="aWhQTHgfdnD2YXcebEBGuQ";
	logging-data="4417"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/uPrAA7lAzNcKjWgou3qtr"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:WN7yffq6EJ1/Fh4v6MBwps86sSk=
	sha1:tXnNYeqIXugPeRuxpba6Ci89K8I=
Xref: g2news2.google.com comp.lang.ada:11472
Date: 2010-05-10T23:00:32+02:00
List-Id: <comp.lang.ada>

Yannick Duchêne writes on comp.lang.ada:
> Le Mon, 10 May 2010 10:02:45 +0200, Dmitry A. Kazakov
> <mailbox@dmitry-kazakov.de> a écrit:
>> Maybe FSF will gain in 1-2 years, but then Ada 2012 will appear, breaking
>> it again.
> Yes, it happens I'm thinking about that trouble, as I'm waiting for
> long for the Programing By Contract (tm) capabilities (I use to be an
> Eiffel  advocator for some times in the past). As I'm pretty sure they
> will not be  support for that in the GCC or MinGW version, I was
> thinking I will  probably go for a fall-back : just modify the actual
> version so that it  will at least accept the syntax, so as to be able
> to write these pre- and  post-conditions for documentation
> purpose. There will be not check at  runtime (should be nice to ensure
> validity of expressions contained in the  pre- and post- by the way),
> but this will at least allow to write it (a  fall-back, as I said).
>
> 2012 in very close...

So close, in fact, that the pre-, postconditions and invariants are
already supported in GCC 4.4 (and therefore Debian) as
implementation-defined pragmas:

http://gcc.gnu.org/onlinedocs/gcc-4.4.4/gnat_rm/Pragma-Precondition.html
http://gcc.gnu.org/onlinedocs/gcc-4.4.4/gnat_rm/Pragma-Postcondition.html
http://gcc.gnu.org/onlinedocs/gcc-4.4.4/gnat_rm/Pragma-Assert.html

-- 
Ludovic Brenta.