comp.lang.ada
 help / color / mirror / Atom feed
From: "martin.m.dowie" <martin.m.dowie@ntlworld.com>
Subject: Re: Use of entries using Ravenscar
Date: Thu, 20 Dec 2001 15:14:04 -0000
Date: 2001-12-20T15:14:04+00:00	[thread overview]
Message-ID: <rhnU7.2806$US4.371003@news2-win.server.ntlworld.com> (raw)
In-Reply-To: usna67xaf.fsf@gsfc.nasa.gov

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 939 bytes --]

"Stephen Leake" <stephen.a.leake.1@gsfc.nasa.gov> wrote in message
news:usna67xaf.fsf@gsfc.nasa.gov...
> jidu2851@student.uu.se (Jimmy Dub�n) writes:
>
> If I recall correctly, the Ravenscar profile forbids entries. Or maybe
> that was only on tasks?

Task entries are forbidden but not PO entries but you're only allowed
one queued entry at a time...

> In any case, this is complaining about the internals of the GNAT
> runtime system; note the package name "System.Tasking". It could be
> you have some object and/or .ali files hanging around from either "the
> old compiler" or "compiling without Pragma (Ravenscar)". Try deleting
> _everything_, and recompiling from scratch.

The other thing I noticed was that nothing in the code actually
required this unit to be withed in at all. (true of a couple of other
with's and they certainly don't need to be withed in at the spec
level - with things at as low a level as possible).





  reply	other threads:[~2001-12-20 15:14 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-12-18 16:28 Use of entries using Ravenscar Jimmy Dubén
2001-12-20  7:54 ` Jimmy Dubén
2001-12-20  8:46   ` martin.m.dowie
2001-12-20 13:52     ` Jimmy Dubén
2001-12-20 14:59   ` Stephen Leake
2001-12-20 15:14     ` martin.m.dowie [this message]
2001-12-20 20:34       ` Jimmy Dub�n
2001-12-21 22:47         ` martin.m.dowie
2001-12-22  1:52           ` Jimmy Dub�n
2001-12-22 15:27             ` martin.m.dowie
2001-12-22 22:56               ` Jimmy Dub�n
2001-12-23 11:02                 ` martin.m.dowie
2001-12-22 12:25     ` Simon Wright
2001-12-23 18:48       ` Jimmy Dub�n
2001-12-26 18:02         ` Simon Wright
2001-12-23 20:01       ` Stephen Leake
2001-12-24  8:52         ` Jimmy Dub�n
2001-12-26 18:20           ` Simon Wright
2001-12-27 10:57             ` Jimmy Dub�n
2001-12-28 18:36               ` Simon Wright
2001-12-27 11:11             ` Florian Weimer
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox