From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Make specific warning error with gnat?
Date: Sat, 3 Jul 2010 12:00:48 +0200
Date: 2010-07-03T12:00:49+02:00 [thread overview]
Message-ID: <1v1fechw7l7k5.su72n9e0y395$.dlg@40tude.net> (raw)
In-Reply-To: 4c2e4d14$0$6769$9b4e6d93@newsspool3.arcor-online.net
On Fri, 02 Jul 2010 22:33:25 +0200, Georg Bauhaus wrote:
> On 7/2/10 11:44 AM, Markus Schoepflin wrote:
>
>> I neither have the time nor the resources available to fix all of them,
>> nor am I allowed to do so. But if the compiler already knows that there
>> will be a constraint error at runtime, I would have liked the
>> compilation to fail.
>
> (I can't think of a way to do this without annotating each
> occurrence in the source program: some programs might want
> the constraint_error to be produced for whatever reason ...)
Yep, it is called contracted exceptions! BTW.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-07-03 10:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-01 10:13 Make specific warning error with gnat? Markus Schoepflin
2010-07-01 12:11 ` John B. Matthews
2010-07-01 14:05 ` Markus Schoepflin
2010-07-02 1:19 ` John B. Matthews
2010-07-02 9:30 ` Stephen Leake
2010-07-02 9:44 ` Markus Schoepflin
2010-07-02 20:17 ` Randy Brukardt
2010-07-06 21:18 ` Robert A Duff
2010-07-07 23:32 ` Randy Brukardt
2010-07-02 20:33 ` Georg Bauhaus
2010-07-03 10:00 ` Dmitry A. Kazakov [this message]
2010-07-05 8:16 ` Markus Schoepflin
2010-07-03 8:01 ` Stephen Leake
2010-07-04 2:22 ` BrianG
2010-07-06 21:12 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox