From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Child vs nested package : efficiency matter
Date: Tue, 01 Jun 2010 21:11:26 +0200
Date: 2010-06-01T21:11:26+02:00 [thread overview]
Message-ID: <op.vdmx9cngxmjfy8@garhos> (raw)
In-Reply-To: m2ljay60c3.fsf@pushface.org
Le Tue, 01 Jun 2010 21:04:44 +0200, Simon Wright <simon@pushface.org> a
écrit:
> First, you may need to use -gnatn or -gnatN and at least -O2 (have to
> look up the manual for this).
I've just noticed the same a short moment ago, indeed ;)
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-06-01 19:11 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-29 12:56 Child vs nested package : efficiency matter Yannick Duchêne (Hibou57)
2010-05-30 1:17 ` BrianG
2010-06-01 15:03 ` Adam Beneschan
2010-06-01 15:34 ` Yannick Duchêne (Hibou57)
2010-06-01 15:38 ` Adam Beneschan
2010-06-01 19:04 ` Simon Wright
2010-06-01 19:11 ` Yannick Duchêne (Hibou57) [this message]
2010-06-02 11:11 ` -gnatN breakage was: " Alex R. Mosteo
2010-06-02 14:39 ` Vadim Godunko
2010-06-02 16:45 ` Georg Bauhaus
2010-06-02 16:50 ` Yannick Duchêne (Hibou57)
2010-06-02 20:35 ` Vadim Godunko
2010-06-01 18:35 ` Adam Beneschan
2010-06-01 19:09 ` Yannick Duchêne (Hibou57)
2010-06-01 19:44 ` Adam Beneschan
2010-06-01 19:56 ` Yannick Duchêne (Hibou57)
2010-06-02 1:38 ` BrianG
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox