From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Ada checks suppression thanks to compilation options and Ada conformity
Date: Fri, 09 Nov 2007 00:52:54 +0100
Date: 2007-11-09T00:52:54+01:00 [thread overview]
Message-ID: <87wsss5m7d.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 4733972C.C7E7BCE@free.fr
Christophe TRAVERS writes:
> From my point of view, these compilation options that can suppress
> the checks are a way to get around the Ada language norm.
You are correct. See ARM 1.1.5(6) and 1.1.5(12).
--
Ludovic Brenta.
next prev parent reply other threads:[~2007-11-08 23:52 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-11-08 23:09 Ada checks suppression thanks to compilation options and Ada conformity Christophe TRAVERS
2007-11-08 23:52 ` Ludovic Brenta [this message]
2007-11-09 0:15 ` Jeffrey Creem
2007-11-09 0:25 ` Adam Beneschan
2007-11-09 6:07 ` anon
[not found] ` <13j8b1pjln94ce@corp.supernews.com>
2007-11-10 20:21 ` Christophe TRAVERS
[not found] ` <13j8b1oon6rvncd@corp.supernews.com>
2007-11-10 20:54 ` Christophe TRAVERS
2007-11-10 22:00 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox