From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: No_Abort_Statements
Date: Fri, 1 Aug 2003 15:07:04 -0500
Date: 2003-08-01T15:07:04-05:00 [thread overview]
Message-ID: <vili00nke57a8d@corp.supernews.com> (raw)
In-Reply-To: 87smom4aiq.fsf@inf.enst.fr
"Samuel Tardieu" <sam@rfc1149.net> wrote in message
news:87smom4aiq.fsf@inf.enst.fr...
> >>>>> "Randy" == Randy Brukardt <randy@rrsoftware.com> writes:
>
> Randy> It seems like there should be a way to eliminate ATC as
> Randy> well.
>
> There is: pragma Restrictions (Max_Asynchronous_Select_Nesting = 0);
You're right, I missed that. (I forgot that no nesting means no ATC).
So the answer to the original question is to use both
pragma Restrictions (No_Abort_Statements);
and
pragma Restrictions (Max_Asychronous_Select_Nesting => 0);
(And still sent a bug report to ACT.)
Randy.
prev parent reply other threads:[~2003-08-01 20:07 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-31 19:40 No_Abort_Statements Stephan Heinemann
2003-07-31 20:55 ` No_Abort_Statements Randy Brukardt
2003-07-31 22:05 ` No_Abort_Statements Samuel Tardieu
2003-08-01 20:07 ` Randy Brukardt [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