From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: gnatcheck
Date: Wed, 24 Dec 2008 15:03:35 -0500
Date: 2008-12-24T15:03:35-05:00 [thread overview]
Message-ID: <86prjhbaso.fsf@stephe-leake.org> (raw)
In-Reply-To: gir392$nub$1@online.de
Stefan Soos <stefan.soos@gmx.de> writes:
>> I'd start with the GNAT User's Guide section on gnatcheck:
>>
>> <http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gnat_ugn_unw/>
>>
> Thanks but I've already checked this source, but it's no help to me.
> It describes what gnatcheck does when using the Discriminated_Record
> rule. But I don't know why its a violation. Whats wrong with
> discriminated records?
I consider this a bug in the gnatcheck manual; you should send a
report to AdaCore. They might even answer your question :)
--
-- Stephe
next prev parent reply other threads:[~2008-12-24 20:03 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-12-22 20:21 gnatcheck Stefan Soos
2008-12-23 4:19 ` gnatcheck John B. Matthews
2008-12-23 16:22 ` gnatcheck Stefan Soos
2008-12-23 16:30 ` gnatcheck Ludovic Brenta
2008-12-23 16:53 ` gnatcheck Stefan Soos
2008-12-23 17:06 ` gnatcheck Ed Falis
2008-12-24 20:03 ` Stephen Leake [this message]
2008-12-23 19:49 ` gnatcheck 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