From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Subject: Re: Elaboration in GNAT
Date: 29 Nov 2001 08:30:11 -0500
Date: 2001-11-29T13:32:33+00:00 [thread overview]
Message-ID: <ug06xhfh8.fsf@gsfc.nasa.gov> (raw)
In-Reply-To: 5ee5b646.0111281944.22e7cae4@posting.google.com
dewar@gnat.com (Robert Dewar) writes:
> Mark Johnson <Mark_H_Johnson@Raytheon.com> wrote in message news:<3C052930.4FE65C5D@Raytheon.com>...
> > Robert of course may give you slightly different
> > suggestions. One that I tend
> > to ignore is to not use "gnatwa", but to specify exactly
> > which warnings you
> > want and don't want. I have found over the last several
> > months that added
> > warnings from gnatwa are beneficial and I'm sticking with
> > it.
> >
> > --Mark
>
>
> That's fine, but you have to be prepared for new warnings
> to pop up without warning, since we often add new warnings!
This is true. However, they usually indicate true defects in my code.
I agree with Mark; my code gets better with each release of GNAT!
Keep up the good work, Robert :).
--
-- Stephe
next prev parent reply other threads:[~2001-11-29 13:30 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-28 12:34 Elaboration in GNAT Frode Tenneboe
2001-11-28 18:13 ` Mark Johnson
2001-11-29 3:44 ` Robert Dewar
2001-11-29 13:30 ` Stephen Leake [this message]
2001-11-28 19:25 ` Robert Dewar
2002-01-04 13:21 ` Frode Tenneboe
2002-01-04 15:07 ` Matthew Heaney
2002-01-05 0:43 ` Robert Dewar
2002-01-05 0:50 ` Robert Dewar
2002-01-07 17:22 ` Mark Johnson
2002-01-08 0:00 ` Robert Dewar
2002-01-10 21:54 ` Robert A Duff
2002-01-11 4:49 ` Robert Dewar
2002-01-11 13:35 ` Robert A Duff
2002-01-11 19:18 ` Robert Dewar
2002-01-16 11:48 ` Arnaud Charlet
2002-01-05 0:40 ` Robert Dewar
2002-01-07 13:28 ` Frode Tenneboe
2002-01-11 19:25 ` Robert Dewar
2001-11-29 13:13 ` Stephen Leake
2001-11-29 13:17 ` Stephen Leake
2001-11-30 12:44 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox