From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: tasks as part of record
Date: Sat, 18 Oct 2014 13:21:33 -0500
Date: 2014-10-18T13:21:33-05:00 [thread overview]
Message-ID: <85mw8tdys2.fsf@stephe-leake.org> (raw)
In-Reply-To: ly1tqczap3.fsf@pushface.org
Simon Wright <simon@pushface.org> writes:
> compguy45@gmail.com writes:
>
>> On Monday, October 6, 2014 4:24:02 AM UTC-4, Simon Wright wrote:
>>
> [..]
>>> type Student is limited record -- has to be limited
> [...]
>>> Students : array (1 .. 10) of Student;
>>
>> Doesnt this code above give warning "warning: variable "Students" is
>> read but never assigned"??
>
> Yes, because it isn't ever assigned, just declared, which means all its
> components (including the task component) exist.
>
> It *can't* be assigned, because its components are limited.
>
> So this is an over-enthusiastic warning from GNAT.
That's what 'pragma Unreferenced' is for.
--
-- Stephe
prev parent reply other threads:[~2014-10-18 18:21 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-04 13:11 tasks as part of record Stribor40
2014-10-04 13:33 ` Simon Wright
2014-10-04 22:12 ` Stribor40
2014-10-05 7:36 ` Jacob Sparre Andersen
2014-10-05 8:11 ` Niklas Holsti
2014-10-06 3:47 ` Stribor40
2014-10-06 5:43 ` Jeffrey Carter
2014-10-06 7:18 ` Niklas Holsti
2014-10-06 8:00 ` Dmitry A. Kazakov
2014-10-06 11:40 ` G.B.
2014-10-06 8:06 ` Simon Wright
2014-10-06 8:24 ` Simon Wright
2014-10-12 22:33 ` compguy45
2014-10-13 7:32 ` Simon Wright
2014-10-13 14:45 ` compguy45
2014-10-13 15:33 ` Shark8
2014-10-18 18:21 ` Stephen Leake [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox